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
wenzelm@2427
     1
#
wenzelm@2427
     2
# $Id$
wenzelm@2427
     3
#
wenzelm@3179
     4
# Isabelle user settings sample (everything commented out)
wenzelm@9226
     5
#   -- may be copied to ~/isabelle/etc/settings
wenzelm@2427
     6
#
wenzelm@2427
     7
wenzelm@7856
     8
#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
wenzelm@2436
     9
wenzelm@3184
    10
#ISABELLE_LOGIC=ZF