# HG changeset patch
# User wenzelm
# Date 918485735 -3600
# Node ID 1f85c03fb3dfb3d8021eaa61ad01c99d75128de1
# Parent  ee0b48ab5aeaa70445dd5be30b4412bf20f0c315
no deps on compile time sources;

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
 ----------------------------------