tuned; Isabelle2007
authorwenzelm
Thu Nov 22 14:51:34 2007 +0100 (2007-11-22)
changeset 254566f79698f294d
parent 25455 ab519be677ba
child 25457 ba2bcae7aafd
tuned;
Admin/polyml-5.1/README
     1.1 --- a/Admin/polyml-5.1/README	Thu Nov 22 14:48:52 2007 +0100
     1.2 +++ b/Admin/polyml-5.1/README	Thu Nov 22 14:51:34 2007 +0100
     1.3 @@ -1,6 +1,7 @@
     1.4  
     1.5  This distribution of Poly/ML 5.1 has been compiled from the original
     1.6 -sources (as available from http://sourceforge.net/projects/polyml/):
     1.7 +sources (available from http://sourceforge.net/projects/polyml/) as
     1.8 +follows:
     1.9  
    1.10    tar xvzf polyml.5.1.tar.gz
    1.11    cd polyml.5.1