Compatibility for Proof General 3.7

Often after a release people find difficulties with particular combinations of software.

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 with compatibility, please add a bug report.

Linux operating system

Emacs versions

PG Version Emacs version Prover version Operating system Comments Contributor
3.7 21.4.1 Isabelle2005 Fedora Core 5 ?? DavidAspinall
3.7 22.1 Isabelle2007 Fedora 8 ?? DavidAspinall
3.7 22.1 Coq 8.1p1 Fedora 8 ?? DavidAspinall

XEmacs versions

PG Version XEmacs versionSorted ascending Prover version Operating system Comments Contributor
3.7 21.4.20 Isabelle2005 Fedora Core 5 ?? DavidAspinall
3.7 22.5.b28 Isabelle2007 Fedora Core 8 OK DavidAspinall

Mac OS X


Edit | Attach | Print version | History: r6 < r5 < r4 < r3 < r2 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r4 - 12 Dec 2007 - 19:44:00 - DavidAspinall
Main.PGEmacsCompatibility moved from Main.PGEmacsVer37Final on 12 Dec 2007 - 19:44 by DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies