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 -p 1 proof object level for HOL
authorkleing
Tue, 09 Mar 2004 04:22:50 +0100
changeset 14448 ba25d002a59c
parent 14447 5b61dc4eab24
child 14449 d5c3d21df790
suggest -p 1 proof object level for HOL
etc/user-settings.sample file | annotate | diff | comparison | revisions 
--- a/etc/user-settings.sample	Tue Mar 09 04:19:41 2004 +0100
+++ b/etc/user-settings.sample	Tue Mar 09 04:22:50 2004 +0100
@@ -4,4 +4,5 @@
 # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
 
 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
+HOL_PROOF_OBJECTS="-p 1"
 ISABELLE_LOGIC=HOL
isabelle