--- a/Admin/polyml/README Mon Nov 09 21:34:42 2009 +0100
+++ b/Admin/polyml/README Mon Nov 09 21:43:44 2009 +0100
@@ -1,19 +1,18 @@
-This distribution of Poly/ML 5.2.1 has been compiled from the original
+This distribution of Poly/ML 5.3 has been compiled from the original
sources as follows:
- tar xvzf polyml.5.2.1.tar.gz
- cd polyml.5.2.1
- ./configure --prefix=/tmp/polyml
+ tar xvzf polyml.5.3.tar.gz
+ cd polyml.5.3
+ ./configure --prefix="$HOME/tmp/polyml"
make
make install
-Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
-platform-specific target directory (e.g. polyml-5.2.1/x86-linux). Note
-that Isabelle/lib/scripts/polyml-platform identifies your platform.
+Now $HOME/tmp/polyml/bin/* and $HOME/tmp/polyml/lib/* are moved to the
+platform-specific target directory (e.g. polyml-5.3.0/x86-linux).
+Note that Isabelle/lib/scripts/polyml-platform identifies your
+platform.
Makarius
- 22-Oct-2008
-
-$Id$
+ 09-Nov-2009