1.1 --- a/Admin/polyml/README	Mon Nov 09 21:34:42 2009 +0100
     1.2 +++ b/Admin/polyml/README	Mon Nov 09 21:43:44 2009 +0100
     1.3 @@ -1,19 +1,18 @@
     1.4  
     1.5 -This distribution of Poly/ML 5.2.1 has been compiled from the original
     1.6 +This distribution of Poly/ML 5.3 has been compiled from the original
     1.7  sources as follows:
     1.8  
     1.9 -  tar xvzf polyml.5.2.1.tar.gz
    1.10 -  cd polyml.5.2.1
    1.11 -  ./configure --prefix=/tmp/polyml
    1.12 +  tar xvzf polyml.5.3.tar.gz
    1.13 +  cd polyml.5.3
    1.14 +  ./configure --prefix="$HOME/tmp/polyml"
    1.15    make
    1.16    make install
    1.17  
    1.18 -Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
    1.19 -platform-specific target directory (e.g. polyml-5.2.1/x86-linux).  Note
    1.20 -that Isabelle/lib/scripts/polyml-platform identifies your platform.
    1.21 +Now $HOME/tmp/polyml/bin/* and $HOME/tmp/polyml/lib/* are moved to the
    1.22 +platform-specific target directory (e.g. polyml-5.3.0/x86-linux).
    1.23 +Note that Isabelle/lib/scripts/polyml-platform identifies your
    1.24 +platform.
    1.25  
    1.26  
    1.27  	Makarius
    1.28 -	22-Oct-2008
    1.29 -
    1.30 -$Id$
    1.31 +	09-Nov-2009