isabelle: etc/user-settings.sample@065ce5385a06 (annotated)

11062 e86340dc1d28 tuned; wenzelm parents: 9818 diff changeset	1	# -- shell-script --
2427 d5efdfad074d Isabelle user settings sample; wenzelm parents: diff changeset	2	# $Id$
d5efdfad074d Isabelle user settings sample; wenzelm parents: diff changeset	3	#
11062 e86340dc1d28 tuned; wenzelm parents: 9818 diff changeset	4	# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
2427 d5efdfad074d Isabelle user settings sample; wenzelm parents: diff changeset	5
9818 71de955e8fc9 GPLed; wenzelm parents: 9226 diff changeset	6	ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
14448 ba25d002a59c suggest -p 1 proof object level for HOL kleing parents: 11062 diff changeset	7	HOL_PROOF_OBJECTS="-p 1"
9818 71de955e8fc9 GPLed; wenzelm parents: 9226 diff changeset	8	ISABELLE_LOGIC=HOL