author | wenzelm |
Mon, 08 Feb 1999 15:55:35 +0100 | |
changeset 6258 | 1f85c03fb3df |
parent 6257 | ee0b48ab5aea |
child 6259 | 488bdc1bd11a |
--- 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 ----------------------------------