# HG changeset patch
# User wenzelm
# Date 1212008045 -7200
# Node ID 6ca0c942a25c5641d7d92c7f539fd24cc61a025d
# Parent  739d239ba5140a30c644a8772b344f12d6dc7f5a
tuned version numbers;

diff -r 739d239ba514 -r 6ca0c942a25c README
--- 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.