README
changeset 27006 6ca0c942a25c
parent 25447 880419e63924
child 27085 dbf4f791953d
--- a/README	Wed May 28 22:50:30 2008 +0200
+++ b/README	Wed May 28 22:54:05 2008 +0200
@@ -9,10 +9,10 @@
 
    Isabelle requires a regular Unix platform (e.g. GNU Linux) with the
    following additional software:
-     * A full Standard ML Compiler (e.g. Poly/ML 5.x, 4.x).
-     * The GNU bash shell (version 3.x, 2.x).
+     * A full Standard ML Compiler (works best with Poly/ML 5.x).
+     * The GNU bash shell (version 3.x or 2.x).
      * Perl (version 5.x).
-     * XEmacs (version 21.4.x) or GNU Emacs (version 21, 22)
+     * GNU Emacs (version 21, 22) or XEmacs (version 21.4.x)
        -- for the Proof General interface.
      * A complete LaTeX installation -- for document preparation.