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$