updated to ProofGeneral-4.x;
authorwenzelm
Wed Jan 12 16:41:49 2011 +0100 (2011-01-12)
changeset 41527924106faa45f
parent 41526 54b4686704af
child 41528 276078f01ada
updated to ProofGeneral-4.x;
Admin/CHECKLIST
README
     1.1 --- a/Admin/CHECKLIST	Wed Jan 12 16:33:04 2011 +0100
     1.2 +++ b/Admin/CHECKLIST	Wed Jan 12 16:41:49 2011 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  - test polyml-5.4.0, polyml-5.3.0, polyml-5.2.1, smlnj;
     1.6  
     1.7 -- test Proof General 3.7.1.1/4.0 xor 4.1;
     1.8 +- test Proof General 4.1;
     1.9  
    1.10  - test Scala wrapper;
    1.11  
     2.1 --- a/README	Wed Jan 12 16:33:04 2011 +0100
     2.2 +++ b/README	Wed Jan 12 16:41:49 2011 +0100
     2.3 @@ -16,7 +16,7 @@
     2.4       * The Poly/ML compiler and runtime system (version 5.2.1 or later).
     2.5       * The GNU bash shell (version 3.x or 2.x).
     2.6       * Perl (version 5.x).
     2.7 -     * GNU Emacs (version 22) -- for the Proof General interface.
     2.8 +     * GNU Emacs (version 23) -- for the Proof General 4.x interface.
     2.9       * A complete LaTeX installation -- for document preparation.
    2.10  
    2.11  Installation