# HG changeset patch
# User wenzelm
# Date 1195135503 -3600
# Node ID 5ac4ba2a2fdbfcf044e04b8b969fafa444077f23
# Parent  3314983b6edfe9f86b442afbb8fa222efcbd4684
tuned;

diff -r 3314983b6edf -r 5ac4ba2a2fdb Admin/polyml-5.1/README
--- a/Admin/polyml-5.1/README	Thu Nov 15 13:01:55 2007 +0100
+++ b/Admin/polyml-5.1/README	Thu Nov 15 15:05:03 2007 +0100
@@ -10,9 +10,11 @@
   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).
+platform-specific target directory (e.g. polyml-5.1/x86-linux).  Run
+Isabelle/lib/scripts/polyml-platform to identify your platform.
+
 
 	Makarius
-	24-Oct-2007
+	15-Nov-2007
 
 $Id$