# 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$