blob: c590d705eb7c57cb2a3ad9432ac5421bf894da86 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
This version of Proof General has been tested with these Emacs versions
on Linux:
Emacs 22.1.1 -- recommended
XEmacs 21.4.XX -- stable, but not recently tested
XEmacs 21.5 (beta28) -- tested, has patches for several XEmacs bugs
and prover versions:
Coq 8.1
Isabelle2005
Isabelle2007
For more possibilities, please check and contribute here:
http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsVer37Final
-----
Backward compatibility makes the code into a bad mess. Some compatibility
has been removed here, specifically affecting:
Isabelle 2004
Earlier buggy versions of Emacs 21 (21.4.1 should work)
|