etc/user-settings.sample
author paulson
Fri Aug 11 13:27:17 2000 +0200 (2000-08-11)
changeset 9578 ab26d6c8ebfe
parent 9226 cbe6144f0f15
child 9818 71de955e8fc9
permissions -rw-r--r--
new theory Integ/IntDiv and many more monotonicity laws, etc., for the integers
     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