diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-01-03 19:52:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-01-03 19:52:40 +0000 |
commit | 742a93c15722847bd19b43b9dd4ff300dd04a934 (patch) | |
tree | 2e511bf759ad966c936a90195ae86a4398f8c20d /COMPATIBILITY | |
parent | b04ef68c5298cbcc1e22eb40e9595a60ae69d017 (diff) |
Compatibility notes
Diffstat (limited to 'COMPATIBILITY')
-rw-r--r-- | COMPATIBILITY | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/COMPATIBILITY b/COMPATIBILITY new file mode 100644 index 00000000..423756f2 --- /dev/null +++ b/COMPATIBILITY @@ -0,0 +1,14 @@ +This version of Proof General has been tested with Emacs versions: + + Emacs 21.4.1 -- recommended + XEmacs 21.4.XX -- stable + XEmacs 21.5 (beta27) -- potentially troublesome + +and prover versions: + + Isabelle2005 + Isabelle CVS versions up to 04.01.2007. + +For more possibilities, please check and contribute here: + + http://proofgeneral.inf.ed.ac.uk/wiki/Main/PGEmacsVer37Final |