Admin/polyml-5.1/README
changeset 25456 6f79698f294d
parent 25455 ab519be677ba
--- 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