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.