wenzelm@2427: #
wenzelm@2427: # $Id$
wenzelm@2427: #
wenzelm@3179: # Isabelle user settings sample (everything commented out)
wenzelm@9226: #   -- may be copied to ~/isabelle/etc/settings
wenzelm@2427: #
wenzelm@2427: 
wenzelm@7856: #ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
wenzelm@2436: 
wenzelm@3184: #ISABELLE_LOGIC=ZF