On Fri, Apr 9, 2010 at 9:32 AM, Gabriel Kerneis <kerneis@...> wrote:
> On Fri, Apr 09, 2010 at 09:24:43AM -0400, Wei Hu wrote:
>> http://cil.sourceforge.net/ works fine.
> But does not contain the online doc AFAICS.
Are you sure? I just checked and the doc has been moved to
http://www.cs.berkeley.edu/~necula/cil/. The old address doesn't work
> make doc works fine, of course, but still, it is good to have it
> available on the internet.
> Gabriel Kerneis