Skip to Content.
Sympa Menu

coq-club - ProofGeneral

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

ProofGeneral


chronological Thread 
  • 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





Archive powered by MhonArc 2.6.16.

Top of Page