wenzelm@11062: # -*- shell-script -*-
wenzelm@11062: # $Id$
wenzelm@2427: #
wenzelm@28914: # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
wenzelm@2427: 
wenzelm@9818: ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
wenzelm@16187: HOL_USEDIR_OPTIONS="-p 1"
wenzelm@9818: ISABELLE_LOGIC=HOL