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.
tuned comments;
authorwenzelm
Mon, 06 Jan 2014 17:33:23 +0100
changeset 54935 a7704d87f30a
parent 54933 45624a38109f
child 54936 30e2503f1aa2
tuned comments;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Mon Jan 06 09:31:21 2014 +0100
+++ b/etc/settings	Mon Jan 06 17:33:23 2014 +0100
@@ -5,7 +5,7 @@
 # Important notes:
 #   * See the "system" manual for explanations on Isabelle settings
 #   * DO NOT EDIT the repository copy of this file!
-#   * DO NOT COPY this file into your ~/.isabelle directory!
+#   * DO NOT COPY this file into your $ISABELLE_HOME_USER directory!
 
 ###
 ### Isabelle/Scala
isabelle