1.1 --- a/Admin/polyml/README	Tue Jun 03 14:32:37 2008 +0200
     1.2 +++ b/Admin/polyml/README	Tue Jun 03 16:45:59 2008 +0200
     1.3 @@ -2,19 +2,19 @@
     1.4  This distribution of Poly/ML 5.2 has been compiled from the original
     1.5  sources as follows:
     1.6  
     1.7 -  cvs -d:pserver:anonymous@polyml.cvs.sourceforge.net:/cvsroot/polyml co polyml
     1.8 -  cd polyml
     1.9 -  cvs up -dAP
    1.10 +  tar xvzf polyml.5.2.tar.gz
    1.11 +  cd polyml.5.2
    1.12 +  chmod +x install-sh
    1.13    ./configure --prefix=/tmp/polyml --without-x
    1.14    make
    1.15    make install
    1.16  
    1.17  Now /tmp/polyml/bin/* and /tmp/polyml/lib/* are moved to the
    1.18 -platform-specific target directory (e.g. polyml-5.2/x86-linux).  Run
    1.19 -Isabelle/lib/scripts/polyml-platform to identify your platform.
    1.20 +platform-specific target directory (e.g. polyml-5.2/x86-linux).  Note
    1.21 +that Isabelle/lib/scripts/polyml-platform identifies your platform.
    1.22  
    1.23  
    1.24  	Makarius
    1.25 -	28-May-2008
    1.26 +	03-Jun-2008
    1.27  
    1.28  $Id$