etc/user-settings.sample
changeset 54937 ce4bf91331e7
parent 54936 30e2503f1aa2
child 54938 8cccfb8f1d36
     1.1 --- a/etc/user-settings.sample	Mon Jan 06 17:47:44 2014 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,6 +0,0 @@
     1.4 -# -*- shell-script -*- :mode=shellscript:
     1.5 -#
     1.6 -# Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
     1.7 -
     1.8 -ISABELLE_BUILD_OPTIONS="browser_info document=pdf"
     1.9 -ISABELLE_LOGIC=HOL