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.
suggest HOL_USEDIR_OPTIONS="-p 2 -Q false", which is more likely to work within the limits of 32 bit address space;
authorwenzelm
Tue, 31 Mar 2009 12:07:17 +0200
changeset 30813 a0863fcd9bbf
parent 30812 7d02340f095d
child 30814 10dc9bc264b7
child 30820 a489921b77f4
suggest HOL_USEDIR_OPTIONS="-p 2 -Q false", which is more likely to work within the limits of 32 bit address space;
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Tue Mar 31 11:11:36 2009 +0200
+++ b/etc/settings	Tue Mar 31 12:07:17 2009 +0200
@@ -94,7 +94,7 @@
 
 # Specifically for the HOL image
 HOL_USEDIR_OPTIONS=""
-#HOL_USEDIR_OPTIONS="-p 2"
+#HOL_USEDIR_OPTIONS="-p 2 -Q false"
 
 #Source file identification (default: full name + date stamp)
 ISABELLE_FILE_IDENT=""
isabelle