README
changeset 33842 efa1b89c79e0
parent 32361 141e5151b918
child 36858 8eac822dec6c
     1.1 --- a/README	Sat Nov 21 20:44:16 2009 +0100
     1.2 +++ b/README	Sun Nov 22 14:13:18 2009 +0100
     1.3 @@ -11,11 +11,11 @@
     1.4  
     1.5     Isabelle requires a regular Unix platform (e.g. GNU Linux) with the
     1.6     following additional software:
     1.7 -     * A full Standard ML Compiler (works best with Poly/ML 5.2.1).
     1.8 +
     1.9 +     * A full Standard ML Compiler (works best with Poly/ML 5.3.0).
    1.10       * The GNU bash shell (version 3.x or 2.x).
    1.11       * Perl (version 5.x).
    1.12 -     * GNU Emacs (version 21, 22, 23) or XEmacs (version 21.4.x)
    1.13 -       -- for the Proof General interface.
    1.14 +     * GNU Emacs (version 22 or 23) -- for the Proof General interface.
    1.15       * A complete LaTeX installation -- for document preparation.
    1.16  
    1.17  Installation