The Coq mailing list

[Denis Cousineau <cousineau AT lix.polytechnique.fr>]

Oops...
Sorry for this mail. I was testing some features for the future Coq  
website.

Denis Cousineau



Le 19 mars 08 à 11:18, 
cousineau AT lix.polytechnique.fr
 a écrit :

> Histoire de remplir un peu la page...
>
> J'ai interdit les commentaires...
>
>
> Intéressant non ?
>
> --------------------------------------------------------
> Bug reports: http://logical.futurs.inria.fr/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>         http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club