wenzelm@11062: # -*- shell-script -*-
wenzelm@11062: # $Id$
wenzelm@2427: #
wenzelm@11062: # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
wenzelm@2427: 
wenzelm@9818: ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
kleing@14448: HOL_PROOF_OBJECTS="-p 1"
wenzelm@9818: ISABELLE_LOGIC=HOL