Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/settings
changeset 3184 4e0bbfb113d5
parent 3182 3270d7bca923
child 3256 0a45cdd7da37 
--- a/etc/settings	Wed May 14 17:55:10 1997 +0200
+++ b/etc/settings	Wed May 14 18:37:03 1997 +0200
@@ -68,7 +68,7 @@
 fi
 
 #Users may want to change this.
-DEFAULT_LOGIC=HOL
+ISABELLE_LOGIC=HOL
 
 
 ## Docs
isabelle