Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
no deps on compile time sources;
authorwenzelm
Mon, 08 Feb 1999 15:55:35 +0100
changeset 6258 1f85c03fb3df
parent 6257 ee0b48ab5aea
child 6259 488bdc1bd11a
no deps on compile time sources;
INSTALL file | annotate | diff | comparison | revisions 
--- 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
 ----------------------------------
isabelle