INSTALL
changeset 6258 1f85c03fb3df
parent 5396 cfc1fe0b8490
child 6345 f4a3c3bb3e38
     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  ----------------------------------