# HG changeset patch
# User wenzelm
# Date 1257799424 -3600
# Node ID 84380e6c0b1aa1ce3c5ff3b93d671bc82522f420
# Parent  c40865233d7e97b4401feca6f22d8090f4fa3127
updated to official Poly/ML 5.3.0;

diff -r c40865233d7e -r 84380e6c0b1a Admin/polyml/README
--- 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