--- 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.