Proof General version 2.1 is released.
Check the file for a summary of changes since Proof General 2.0.

It is recommended that all users upgrade except those still using Isabelle 98-1. Proof General 2.1 only supports Isabelle 99.

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, mainly a bug-fix improvement of 2.0.

Please explore the new 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.

A new instantiation of Proof General has been added by Paul Callaghan for Plastic, a new proof assistant based on Luo's Typed Logical Framework and implemented in Haskell.

A new instantiation of Proof General has been added by Markus Wenzel for Isabelle/Isar, a new proof language for Isabelle to be included with Isabelle 99.