TWiki
>
PG Web
>
ProofGeneralEmacs
>
PGEmacs37Compatibility
(11 Aug 2010,
DavidAspinall
)
(raw view)
E
dit
A
ttach
<!--- PLEASE SCROLL DOWN TO TABLES ---> ---+ 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 [[http://proofgeneral.inf.ed.ac.uk/trac][bug report]]. %TOC% ---++ Linux operating system <!--- please add your entries to the table for (GNU) Emacs or XEmacs as appropriate. --> <!--- Please organise your entries by the PG version that you've tested. Duplicated test cases --> <!--- are welcomed. --> ---+++ 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
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r6
<
r5
<
r4
<
r3
<
r2
|
B
acklinks
|
V
iew topic
|
Ra
w
edit
|
M
ore topic actions
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
PG
PG Web
PG Web Home
Changes
Index
Search
Notifications
RSS Feed
Copyright © 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