# HG changeset patch
# User wenzelm
# Date 1195739332 -3600
# Node ID ab519be677baeb32c1ea47b35832a30bf91e54e0
# Parent  470a61a65712584ab4edce3c5ec549315d475fa2
updated to official Poly/ML 5.1;

diff -r 470a61a65712 -r ab519be677ba Admin/polyml-5.1/README
--- a/Admin/polyml-5.1/README	Wed Nov 21 16:40:51 2007 +0100
+++ b/Admin/polyml-5.1/README	Thu Nov 22 14:48:52 2007 +0100
@@ -1,20 +1,20 @@
 
 This distribution of Poly/ML 5.1 has been compiled from the original
-sources as follows:
+sources (as available from http://sourceforge.net/projects/polyml/):
 
-  cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
-  cd polyml
-  cvs up -dAP
+  tar xvzf polyml.5.1.tar.gz
+  cd polyml.5.1
   ./configure --prefix=/tmp/polyml --without-x
   make
   make install
 
 Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
-platform-specific target directory (e.g. polyml-5.1/x86-linux).  Run
-Isabelle/lib/scripts/polyml-platform to identify your platform.
+platform-specific target directory (e.g. polyml-5.1/x86-linux).  Note
+that the script Isabelle/lib/scripts/polyml-platform identifies your
+platform.
 
 
 	Makarius
-	15-Nov-2007
+	22-Nov-2007
 
 $Id$