etc/user-settings.sample
author huffman
Thu Aug 11 09:11:15 2011 -0700 (2011-08-11)
changeset 44165 d26a45f3c835
parent 34238 b28be884edda
child 45106 3498077f2012
permissions -rw-r--r--
remove lemma stupid_ext
wenzelm@31310
     1
# -*- shell-script -*- :mode=shellscript:
wenzelm@2427
     2
#
wenzelm@28914
     3
# Isabelle user settings sample -- for use in ~/.isabelle/etc/settings
wenzelm@2427
     4
wenzelm@9818
     5
ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
wenzelm@9818
     6
ISABELLE_LOGIC=HOL