tuned;
authorwenzelm
Fri Mar 07 15:51:31 1997 +0100 (1997-03-07)
changeset 2772263c0c212dfe
parent 2771 9c85894d223d
child 2773 36fdd908a26c
tuned;
INSTALL
     1.1 --- a/INSTALL	Fri Mar 07 15:34:10 1997 +0100
     1.2 +++ b/INSTALL	Fri Mar 07 15:51:31 1997 +0100
     1.3 @@ -63,9 +63,5 @@
     1.4  PATH. Please do *not* copy (or link) the Isabelle scripts somewhere
     1.5  else -- or they just won't work!
     1.6  
     1.7 -Other users may directly run your Isabelle installation without
     1.8 -additional configuration, provided that no globally required settings
     1.9 -reside in your ~/isabelle/etc/settings.
    1.10 -
    1.11  
    1.12  $Id$