The Coq mailing list

[Matthieu Sozeau <matthieu.sozeau AT inria.fr>]

Thanks for the report, it’s fixed now.

On 15 janv. 2014, at 20:27, Keshav Kini 
<keshav.kini AT gmail.com>
 wrote:

> Hi,
> 
> I found a broken link on this page:
> http://coq.inria.fr/cocorico/CoqDevelopment/Public
> 
> The text "Paral-ITP project" links to http://paral-itp,lri.fr/ (yes,
> with a comma), whereas it appears that it should link to
> https://www.lri.fr/~wolff/projects/ANR-Paral-ITP/ if I'm not mistaken.
> 
> Unfortunately the page is not editable by me, so I hope someone on this
> list can fix it for me.
> 
> Thanks,
>    Keshav
>