no deps on compile time sources;
authorwenzelm
Mon Feb 08 15:55:35 1999 +0100 (1999-02-08)
changeset 62581f85c03fb3df
parent 6257 ee0b48ab5aea
child 6259 488bdc1bd11a
no deps on compile time sources;
INSTALL
     1.1 --- a/INSTALL	Mon Feb 08 15:54:44 1999 +0100
     1.2 +++ b/INSTALL	Mon Feb 08 15:55:35 1999 +0100
     1.3 @@ -22,6 +22,9 @@
     1.4    cd [ISABELLE_HOME]
     1.5    ./configure
     1.6  
     1.7 +This does not store any references to [ISABELLE_HOME]. You may safely
     1.8 +move the system later, without running ./configure again.
     1.9 +
    1.10  
    1.11  ML system settings and compilation
    1.12  ----------------------------------