coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Yves Bertot <Yves.Bertot AT sophia.inria.fr>
- To: coq-club AT pauillac.inria.fr
- Cc: ctcoq-request AT sophia.inria.fr
- Subject: New CtCoq version
- Date: Fri, 22 Jan 1999 15:44:05 +0100
We are pleased to announce that a new version of CtCoq, compatible
with Coq V6.2.3 is now accessible.
The best way to retrieve this new version is to read the page at
http://www.inria.fr/croap/ctcoq/ctcoq-eng.html
------------
Nous sommes heureux d'annoncer qu'une nouvelle version de CtCoq,
disponible avec Coq V6.2.3 est disponible.
La meilleure façon d'accéder à cette version est de lire la page:
http://www.inria.fr/croap/ctcoq/ctcoq-fra.html
For any inquiries, please mail to
ctcoq-request AT sophia.inria.fr
- New CtCoq version, Yves Bertot
Archive powered by MhonArc 2.6.16.