author | wenzelm |
Fri, 07 Mar 1997 15:51:31 +0100 | |
changeset 2772 | 263c0c212dfe |
parent 2771 | 9c85894d223d |
child 2773 | 36fdd908a26c |
--- 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$