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 OK DavidAspinall
3.7 22.1 Coq 8.1p3 Fedora 8 OK DavidAspinall

XEmacs versions

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

Mac OS X

PG Version Emacs version OS X version Prover version Comments Contributor
3.7 Carbon Emacs 22.1.50.1 powerpc 10.4 Isabelle2007 For X-Symbol, install isaxsymb1.ttf DavidAspinall
3.7 Emacs.app 23.0.60.1 powerpc 10.4 Isabelle2007 X-Symbol faulty DavidAspinall

Windows

Topic revision: r6 - 11 Aug 2010 - 18:40:41 - DavidAspinall
PG.PGEmacs37Compatibility moved from PG.PGEmacsCompatibility on 11 Aug 2010 - 18:40 by DavidAspinall - put it back
 
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