Dear Proof General users,

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

There are many improvements and fixes, especially for Coq.

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

Best wishes,

 - David

David Aspinall,                   email:
LFCS, School of Informatics,      URL:
University of Edinburgh
ProofGeneral mailing list

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

Reply via email to