wneuper/isa: etc/user-settings.sample@ba25d002a59c

etc/user-settings.sample

suggest -p 1 proof object level for HOL

     1 # -*- shell-script -*-

     2 # $Id$

3 #

     4 # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings

     6 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"

     7 HOL_PROOF_OBJECTS="-p 1"

     8 ISABELLE_LOGIC=HOL

wneuper/isa