author kleing

Tue, 09 Mar 2004 04:22:50 +0100

changeset 14448 ba25d002a59c

parent 14447 5b61dc4eab24

child 14449 d5c3d21df790

etc/user-settings.sample file | annotate | diff | comparison | revisions
     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