tuned;
authorwenzelm
Wed Mar 10 17:24:26 1999 +0100 (1999-03-10)
changeset 6345f4a3c3bb3e38
parent 6344 9442bc6763f7
child 6346 643a1bd31a91
tuned;
INSTALL
     1.1 --- a/INSTALL	Wed Mar 10 17:06:35 1999 +0100
     1.2 +++ b/INSTALL	Wed Mar 10 17:24:26 1999 +0100
     1.3 @@ -56,10 +56,9 @@
     1.4  terminal.  You may want to put [ISABELLE_HOME]/bin into your shell's
     1.5  search PATH.
     1.6  
     1.7 -Please do *not* copy (or link) the Isabelle scripts anywhere else --
     1.8 -or they just won't work!  If you really feel the urge to install
     1.9 -independent Isabelle binaries somewhere you should rather do it like
    1.10 -this:
    1.11 +Please do *not* copy (or link) the Isabelle scripts anywhere else, or
    1.12 +they just won't work!  If you really feel the urge to install
    1.13 +independent Isabelle binaries anywhere else do it like this:
    1.14  
    1.15    [ISABELLE_HOME]/bin/isatool install /usr/local/bin
    1.16