README
changeset 27006 6ca0c942a25c
parent 25447 880419e63924
child 27085 dbf4f791953d
     1.1 --- a/README	Wed May 28 22:50:30 2008 +0200
     1.2 +++ b/README	Wed May 28 22:54:05 2008 +0200
     1.3 @@ -9,10 +9,10 @@
     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 (e.g. Poly/ML 5.x, 4.x).
     1.8 -     * The GNU bash shell (version 3.x, 2.x).
     1.9 +     * A full Standard ML Compiler (works best with Poly/ML 5.x).
    1.10 +     * The GNU bash shell (version 3.x or 2.x).
    1.11       * Perl (version 5.x).
    1.12 -     * XEmacs (version 21.4.x) or GNU Emacs (version 21, 22)
    1.13 +     * GNU Emacs (version 21, 22) or XEmacs (version 21.4.x)
    1.14         -- for the Proof General interface.
    1.15       * A complete LaTeX installation -- for document preparation.
    1.16