# HG changeset patch
# User wenzelm
# Date 1195739494 -3600
# Node ID 6f79698f294df13edfba9c790df18a545570c81e
# Parent  ab519be677baeb32c1ea47b35832a30bf91e54e0
tuned;

diff -r ab519be677ba -r 6f79698f294d Admin/polyml-5.1/README
--- a/Admin/polyml-5.1/README	Thu Nov 22 14:48:52 2007 +0100
+++ b/Admin/polyml-5.1/README	Thu Nov 22 14:51:34 2007 +0100
@@ -1,6 +1,7 @@
 
 This distribution of Poly/ML 5.1 has been compiled from the original
-sources (as available from http://sourceforge.net/projects/polyml/):
+sources (available from http://sourceforge.net/projects/polyml/) as
+follows:
 
   tar xvzf polyml.5.1.tar.gz
   cd polyml.5.1