coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] new development release of proofgeneral/coq

From: Pierre Courtieu <Pierre.Courtieu AT univ-orleans.fr>
To: "coq-club AT pauillac.inria.fr" <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] new development release of proofgeneral/coq
Date: Mon, 9 Feb 2004 13:24:42 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello,

A new development release of ProofGeneral is available at

http://zermelo.dcs.ed.ac.uk/develdownload.html

It has been adapted to coq v8, bug reports are welcome
(Pierre.Courtieu AT univ-orleans.fr)

Cheers,

Pierre Courtieu

[Coq-Club] new development release of proofgeneral/coq, Pierre Courtieu
- [Coq-Club] Re: new development release of proofgeneral/coq, Pierre Courtieu