# HG changeset patch
# User kleing
# Date 1078802570 -3600
# Node ID ba25d002a59c1e04828df23f15abcaae4cd631a9
# Parent  5b61dc4eab24466126729a310032818fcceffb6b
suggest -p 1 proof object level for HOL

diff -r 5b61dc4eab24 -r ba25d002a59c etc/user-settings.sample
--- 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