wenzelm@31310: # -*- shell-script -*- :mode=shellscript:
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@9818: ISABELLE_LOGIC=HOL