coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Pierre Courtieu <Pierre.Courtieu AT univ-orleans.fr>
Cc: "coq-club AT pauillac.inria.fr" <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] Re: new development release of proofgeneral/coq
Date: Wed, 11 Feb 2004 10:22:46 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Mon, 9 Feb 2004 13:24:42 +0100
Pierre Courtieu
<Pierre.Courtieu AT univ-orleans.fr>
wrote:

> Hello,
>
> A new development release of ProofGeneral is available at
>
> http://zermelo.dcs.ed.ac.uk/develdownload.html

David Aspinall tells me that the correct address is:

http://proofgeneral.inf.ed.ac.uk/

and

http://proofgeneral.inf.ed.ac.uk/develdownload.html

Pierre

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