On Tue, Oct 08, 2013 at 05:18:33PM +0300, Alex Susu wrote:
> I updated the list of projects using CIL: you can find it at
> https://sites.google.com/site/alexsusu/home/cil .
> Again, please feel free to add or make corrections to the list.
Thanks for your list. Could you please link to the sourceforge homepage
for CIL? http://cil.sf.net/
The page you link to  is George Necula's deprecated copy of the CIL
documentation. (By the way, George, would you mind deleting it, or
redirecting the URL to  instead?)
Thanks in advance,