From 742a93c15722847bd19b43b9dd4ff300dd04a934 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 3 Jan 2007 19:52:40 +0000
Subject: Compatibility notes

---
 COMPATIBILITY | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 COMPATIBILITY

(limited to 'COMPATIBILITY')

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
-- 
cgit v1.2.3