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.
Also, the Proof General Kit page has been updated to mention current development efforts.
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.