changeset 6258 | 1f85c03fb3df |
parent 5396 | cfc1fe0b8490 |
child 6345 | f4a3c3bb3e38 |
--- a/INSTALL Mon Feb 08 15:54:44 1999 +0100 +++ b/INSTALL Mon Feb 08 15:55:35 1999 +0100 @@ -22,6 +22,9 @@ cd [ISABELLE_HOME] ./configure +This does not store any references to [ISABELLE_HOME]. You may safely +move the system later, without running ./configure again. + ML system settings and compilation ----------------------------------