Dear Proof General users,

A new stable release of Proof General has now been made. It is available from:


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

There are many improvements and fixes, especially for Coq.

Please report any problems, etc, on the Trac system here:

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

Best wishes,

 - David

------------
David Aspinall,                   email: david.aspin...@ed.ac.uk
LFCS, School of Informatics,      URL: http://homepages.inf.ed.ac.uk/da
University of Edinburgh
_______________________________________________
ProofGeneral mailing list
ProofGeneral@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to