# HG changeset patch
# User wenzelm
# Date 857746291 -3600
# Node ID 263c0c212dfef33c0b9923f4f7f3acede7b7f09e
# Parent  9c85894d223d85bba20efa464983dd19cedc3f12
tuned;

diff -r 9c85894d223d -r 263c0c212dfe INSTALL
--- 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$