Re: [CIL users] CIL homepage down?

[Vinai S. <vin...@gm...>]

http://hal.cs.berkeley.edu/cil/   -  I notice the link is up now.

http://www.cs.berkeley.edu/~necula/cil/<http://www.cs.berkeley.edu/%7Enecula/cil/>
- This one works too. Thanks,I will bookmark it.

I agree with Gabriel, having the documentation on the Internet is very
convenient.

Vinai
-- 
Vinai Sundaram
@ http://web.ics.purdue.edu/~vsundar/


On Fri, Apr 9, 2010 at 1:49 PM, Wei Hu <we...@cs...> wrote:

> On Fri, Apr 9, 2010 at 9:32 AM, Gabriel Kerneis <ke...@pp...>
> 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/<http://www.cs.berkeley.edu/%7Enecula/cil/>.
> The old address doesn't work
> any more.
>
>
>
>
>
> > make doc works fine, of course, but still, it is good to have it
> > available on the internet.
> >
>
> > Regards,
> > --
> > Gabriel Kerneis
> >
>