The past few months have seen a few more improvements and
bug fixes to Proof General: many thanks to those who have
sent us useful feedback.
It's time that we made a proper release, so please try
out the development release
and help us iron out as many more problems as we can.
Emacs Lisp and the Emacsen libraries has to be one of the
worst moving target platforms to develop an application on,
so please help us! Once things are looking good, we'll
release PG 3.3.
Proof General has had a few quiet improvements since October, which appear in the current development release. This version also has some compatibility fixes for the recent releases of Emacs (20.7) and XEmacs (21.4).
Proof General 3.2 is released today. Happy proving!
News items by David Aspinall.
Click here for old news.