1.1 --- a/etc/user-settings.sample	Tue Mar 09 04:19:41 2004 +0100
     1.2 +++ b/etc/user-settings.sample	Tue Mar 09 04:22:50 2004 +0100
     1.3 @@ -4,4 +4,5 @@
     1.4  # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
     1.5  
     1.6  ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
     1.7 +HOL_PROOF_OBJECTS="-p 1"
     1.8  ISABELLE_LOGIC=HOL