isabelle: etc/user-settings.sample@2b1dde0b1c30 (annotated)

31310 b5365a9db718 uniform treatment of shellscript mode; wenzelm parents: 29145 diff changeset	1	# -- shell-script -- :mode=shellscript:
2427 d5efdfad074d Isabelle user settings sample; wenzelm parents: diff changeset	2	#
45106 3498077f2012 updated ISABELLE_HOME_USER; wenzelm parents: 34238 diff changeset	3	# Isabelle user settings sample -- for use in $ISABELLE_HOME_USER/etc/settings
2427 d5efdfad074d Isabelle user settings sample; wenzelm parents: diff changeset	4
9818 71de955e8fc9 GPLed; wenzelm parents: 9226 diff changeset	5	ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
71de955e8fc9 GPLed; wenzelm parents: 9226 diff changeset	6	ISABELLE_LOGIC=HOL