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.
Please update your links!. The server zermelo.dcs.ed.ac.uk hosting Proof General for the last 5 years will be retired soon. Please refer to the web site using the URL www.proofgeneral.org.
Proof General 3.4 is released. Happy Proving!
Go to the download page to get it.
Please report any problems to support@proofgeneral.org.
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.