multiplatform polyml.tar.gz;
authorwenzelm
Mon Nov 23 22:59:48 2009 +0100 (2009-11-23)
changeset 33875e5e7faaed7ad
parent 33874 1db5ca5eadf5
child 33880 6cc01403f78a
multiplatform polyml.tar.gz;
INSTALL
     1.1 --- a/INSTALL	Mon Nov 23 22:47:41 2009 +0100
     1.2 +++ b/INSTALL	Mon Nov 23 22:59:48 2009 +0100
     1.3 @@ -17,7 +17,7 @@
     1.4  site installation of Isabelle on Linux/x86 works like this:
     1.5  
     1.6    tar -C /usr/local -xzf Isabelle.tar.gz
     1.7 -  tar -C /usr/local -xzf polyml_x86-linux.tar.gz
     1.8 +  tar -C /usr/local -xzf polyml.tar.gz
     1.9    tar -C /usr/local -xzf HOL_x86-linux.tar.gz
    1.10  
    1.11  The install prefix given above may be changed as appropriate; there is