etc/user-settings.sample
author wenzelm
Sat Jul 01 19:49:20 2000 +0200 (2000-07-01)
changeset 9226 cbe6144f0f15
parent 7856 7d06972db6ca
child 9818 71de955e8fc9
permissions -rw-r--r--
tuned;
     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