1 #
2 # $Id$
3 # Author: Markus Wenzel, TU Muenchen
4 # License: GPL (GNU GENERAL PUBLIC LICENSE)
5 #
6 # Isabelle user settings sample (everything commented out)
7 # -- may be copied to ~/isabelle/etc/settings
8 #
9
10 ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
11 ISABELLE_LOGIC=HOL