1 #
2 # $Id$
3 #
4 # Isabelle user settings sample (everything commented out)
5 # -- may be copied to ~/isabelle/etc/settings
6 #
7
8 #ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
9
10 #ISABELLE_LOGIC=ZF