Dear Proof General users,
A new stable release of Proof General has now been made. It is
There are many improvements and fixes, especially for Coq.
Please report any problems, etc, on the Trac system here:
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
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.