tuned;

--- a/INSTALL	Fri Mar 07 15:34:10 1997 +0100
+++ b/INSTALL	Fri Mar 07 15:51:31 1997 +0100
@@ -63,9 +63,5 @@
 PATH. Please do *not* copy (or link) the Isabelle scripts somewhere
 else -- or they just won't work!
 
-Other users may directly run your Isabelle installation without
-additional configuration, provided that no globally required settings
-reside in your ~/isabelle/etc/settings.
-
 
 $Id$