Release 3.7 of Proof General Emacs

We'd like to release a stable version of Proof General Emacs which works with current provers and Emacs/operating system versions. There hasn't been an official stable release for some time; one reason for this is the effort involved in ensuring compatibility between different Emacs, provers, and operating systems.

However, the development version has been changed over the last couple of years to keep pace with many of these other changes. It is in regular use by many people, but probably still hasn't been tested on many platforms.

Since version 3.6 has been so long in the waiting, we'll deem it never released and move straight to version 3.7. But it will be essentially the release 3.6 with added future compatibility for new prover versions.

Often after a release people find difficulties with particular combinations. To help avoid that as much as possible, please add an entry to one of the tables below to confirm correct operation of PG 3.7 with your Emacs version, prover, and operating system. See PGEmacsTestingNotes for recommended tests that you may perform.

If you have any serious problems which you believe should be addressed before release of 3.7, please add a note in the final subsection. Pending fixes are listed in the section before.

Confirmed platforms for PG 3.7

Emacs versions

PG Version	Emacs version	Prover version	Operating system	Comments	Contributor
3.6pre060526	21.4.1	Isabelle2005	Linux Fedora Core 5	??	DavidAspinall
3.6pre060526	21.4.1	Isabelle CVS head	Linux Fedora Core 5	OK	DavidAspinall
3.6pre060526	CVS 23/8/06	Isabelle CVS head	Linux Fedora Core 5	<can't build>	DavidAspinall

XEmacs versions

Outstanding fixes pending for PG 3.7

• Documentation fixes: updates for tutorial; docstring-magic regexp fixes
• Coq 8.1 tuning (please help test the new template code)

Fixes/improvements requested for PG 3.7