# HG changeset patch
# User wenzelm
# Date 1212504359 -7200
# Node ID 48baacc044b2d6abeb5e3828b94ce8c6d097b668
# Parent  c63875c75fbffc125c3b481fa97ffef72a67fced
updated to official 5.2;

diff -r c63875c75fbf -r 48baacc044b2 Admin/polyml/README
--- a/Admin/polyml/README	Tue Jun 03 14:32:37 2008 +0200
+++ b/Admin/polyml/README	Tue Jun 03 16:45:59 2008 +0200
@@ -2,19 +2,19 @@
 This distribution of Poly/ML 5.2 has been compiled from the original
 sources as follows:
 
-  cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
-  cd polyml
-  cvs up -dAP
+  tar xvzf polyml.5.2.tar.gz
+  cd polyml.5.2
+  chmod +x install-sh
   ./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.2/x86-linux).  Run
-Isabelle/lib/scripts/polyml-platform to identify your platform.
+platform-specific target directory (e.g. polyml-5.2/x86-linux).  Note
+that Isabelle/lib/scripts/polyml-platform identifies your platform.
 
 
 	Makarius
-	28-May-2008
+	03-Jun-2008
 
 $Id$