diff -r 5c6c5d63f3c3 -r 484e483eb606 README
--- a/README	Tue Aug 17 18:04:08 2010 +0200
+++ b/README	Tue Aug 17 18:41:55 2010 +0200
@@ -13,7 +13,7 @@
    Windows with Cygwin, Mac OS) and depends on the following main
    add-on tools:
 
-     * The Poly/ML compiler and runtime system (version 5.x).
+     * The Poly/ML compiler and runtime system (version 5.2.1 or later).
      * The GNU bash shell (version 3.x or 2.x).
      * Perl (version 5.x).
      * GNU Emacs (version 22) -- for the Proof General interface.