Skip to Content.

Sympa Menu

coq-club - [Coq-Club] Proof General 4.1 with multiple-file support for Coq

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Proof General 4.1 with multiple-file support for Coq

chronological Thread

From: Hendrik Tews <tews AT os.inf.tu-dresden.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] Proof General 4.1 with multiple-file support for Coq
Date: Fri, 9 Dec 2011 09:18:38 +0100

Hi,

for those who have not noticed it yet: Proof General 4.1 was
released at the beginning of October!

Apart from other improvements, Proof General can now compile
required libraries on the fly, see Section 10.2 of the user
manual
(http://proofgeneral.inf.ed.ac.uk/htmlshow.php?file=releases%2FProofGeneral%2Fdoc%2FProofGeneral%2FProofGeneral_11.html#Multiple-File-Support).

Bye,

Hendrik

[Coq-Club] Proof General 4.1 with multiple-file support for Coq, Hendrik Tews

Archive powered by MhonArc 2.6.16.