changeset 38470 | 484e483eb606 |
parent 37368 | 1c816f2abb0e |
child 41527 | 924106faa45f |
--- 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.