README
changeset 38470 484e483eb606
parent 37368 1c816f2abb0e
child 41527 924106faa45f
     1.1 --- a/README	Tue Aug 17 18:04:08 2010 +0200
     1.2 +++ b/README	Tue Aug 17 18:41:55 2010 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4     Windows with Cygwin, Mac OS) and depends on the following main
     1.5     add-on tools:
     1.6  
     1.7 -     * The Poly/ML compiler and runtime system (version 5.x).
     1.8 +     * The Poly/ML compiler and runtime system (version 5.2.1 or later).
     1.9       * The GNU bash shell (version 3.x or 2.x).
    1.10       * Perl (version 5.x).
    1.11       * GNU Emacs (version 22) -- for the Proof General interface.