diff -r ee0b48ab5aea -r 1f85c03fb3df INSTALL
--- 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
 ----------------------------------