etc/user-settings.sample
author wenzelm
Sun Sep 03 20:01:27 2000 +0200 (2000-09-03)
changeset 9818 71de955e8fc9
parent 9226 cbe6144f0f15
child 11062 e86340dc1d28
permissions -rw-r--r--
GPLed;
     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