INSTALL
changeset 6416 1452905753ab
parent 6345 f4a3c3bb3e38
child 6486 1f1d5e00e0a5
     1.1 --- a/INSTALL	Tue Apr 13 12:35:11 1999 +0200
     1.2 +++ b/INSTALL	Tue Apr 13 12:35:28 1999 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4  they just won't work!  If you really feel the urge to install
     1.5  independent Isabelle binaries anywhere else do it like this:
     1.6  
     1.7 -  [ISABELLE_HOME]/bin/isatool install /usr/local/bin
     1.8 +  [ISABELLE_HOME]/bin/isatool install -p /usr/local/bin
     1.9  
    1.10  
    1.11