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