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