# HG changeset patch
# User wenzelm
# Date 1294846909 -3600
# Node ID 924106faa45f3417dc549751ef2781f8beefcb75
# Parent  54b4686704af8bca09adecb51c0433e90b068858
updated to ProofGeneral-4.x;

diff -r 54b4686704af -r 924106faa45f Admin/CHECKLIST
--- a/Admin/CHECKLIST	Wed Jan 12 16:33:04 2011 +0100
+++ b/Admin/CHECKLIST	Wed Jan 12 16:41:49 2011 +0100
@@ -3,7 +3,7 @@
 
 - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
 
-- test Proof General 3.7.1.1/4.0 xor 4.1;
+- test Proof General 4.1;
 
 - test Scala wrapper;
 
diff -r 54b4686704af -r 924106faa45f README
--- a/README	Wed Jan 12 16:33:04 2011 +0100
+++ b/README	Wed Jan 12 16:41:49 2011 +0100
@@ -16,7 +16,7 @@
      * The Poly/ML compiler and runtime system (version 5.2.1 or later).
      * The GNU bash shell (version 3.x or 2.x).
      * Perl (version 5.x).
-     * GNU Emacs (version 22) -- for the Proof General interface.
+     * GNU Emacs (version 23) -- for the Proof General 4.x interface.
      * A complete LaTeX installation -- for document preparation.
 
 Installation