Please update your links!. The server zermelo.dcs.ed.ac.uk hosting Proof General for the last 5 years has now been retired. Moroever, the Proof General .org domain has been poached from us.
Please refer to the web site using the URL proofgeneral.inf.ed.ac.uk and do not send any email to the old .org addresses (contact David Aspinall directly). Also, beware that the old addresses are built into the help function of Proof General and the bug reporting commands. Please download the upcoming pre-release (available from Dec 15th) which has offending addresses removed.
There is a new development version of Proof General released today. There are some minor fixes, and an updated version of X-Symbol bundled. Please test it and let me know how you get on. It would be nice to release the final version 3.5 at last.
The Proof General Kit page has been updated to mention current development efforts.Anonymous access to the Proof General CVS repository is now available! Details are here.
Proof General 3.4 is released. Happy Proving!
Go to the download page to get it.
Please report any problems to da+pg-support@inf.ed.ac.uk.
Good news! The license conditions for Proof General will shortly be changed to the GPL. This relaxes the current conditions in several ways, in particular, allowing packaging and distribution of the code by others.