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.
HOL_USEDIR_OPTIONS: -p 1 by default;
authorwenzelm
Sat, 04 Nov 2006 19:25:38 +0100
changeset 21171 7b4fb2a2c75e
parent 21170 01ef0dbd51ae
child 21172 eea3c9048c7a
HOL_USEDIR_OPTIONS: -p 1 by default;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Sat Nov 04 19:25:36 2006 +0100
+++ b/etc/settings	Sat Nov 04 19:25:38 2006 +0100
@@ -70,7 +70,7 @@
 ISABELLE_USEDIR_OPTIONS="-v true -V outline=/proof,/ML"
 
 # Specifically for the HOL image
-HOL_USEDIR_OPTIONS=""
+HOL_USEDIR_OPTIONS="-p 1"
 
 
 ###
isabelle