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.
