# -*- shell-script -*- :mode=shellscript: # # Isabelle user settings sample -- for use in ~/.isabelle/etc/settings ISABELLE_USEDIR_OPTIONS="-i true -d pdf" ISABELLE_LOGIC=HOL