New Proof General web pages go live!

The general is now more serious looking. Appropriate, because there are some serious improvements in the pipeline...

Before that, we will release Proof General 2.1, largely a bug-fix improvement of 2.0.

Please explore the web pages and report any problems or suggestions to .

Please also try out the latest pre-release of Proof General, this is the final chance to get fixes and tweaks sorted before 2.1.