coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Pierre Courtieu <Pierre.Courtieu AT lri.fr>
- To: coq-club AT pauillac.inria.fr
- Subject: ProofGeneral
- Date: Mon, 21 May 2001 10:31:03 +0200
Please note that the current development release of ProofGeneral seems
stable with Coq V6.2 and V7. Please feel free to try it and send bug
reports, a release should be available soon (this is not an official
announcement).
The dev release is available at:
http://www.proofgeneral.org/devel
Pierre Courtieu
- ProofGeneral, Pierre Courtieu
Archive powered by MhonArc 2.6.16.