News items by David Aspinall.
There is now a new . I plan to apply for funding to continue managing the evolution and development of Proof General, once my own job position is more secure. Now is the time to flesh out ideas for the future! Check the development page for the latest proposals. These include some desirable contributions which could be undertaken as self-contained projects.
Countdown to Proof General 3.1 begins. This will be a bug fix releaase. A few bugs have been fixed in recent Proof General development releases, one important one is fixing support for non-mule versions of FSF Emacs (thanks to Pierre Courtieu for raising it to my attention). I would like to release PG 3.1 next month so that everyone can benefit.
In the meantime, please that you would like to see fixed, and consider trying out the current development release.
I'm pleased to say that Proof General will be demonstrated at ETAPS 2000. Here are some draft slides for the presentation (any comments would be welcome). A presentation of Proof General based on these slides was given at Rutherford Appleton Laboratory last week.
Proof General 3.0 is released!
Click here for old news.