etc/user-settings.sample
author wenzelm
Sat, 01 Jul 2000 19:49:20 +0200
changeset 9226 cbe6144f0f15
parent 7856 7d06972db6ca
child 9818 71de955e8fc9
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     1
#
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     2
# $Id$
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     3
#
3179
c8263805dede tuned comment;
wenzelm
parents: 3178
diff changeset
     4
# Isabelle user settings sample (everything commented out)
9226
wenzelm
parents: 7856
diff changeset
     5
#   -- may be copied to ~/isabelle/etc/settings
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     6
#
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     7
7856
7d06972db6ca -d pdf;
wenzelm
parents: 3749
diff changeset
     8
#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
2436
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
     9
3184
4e0bbfb113d5 renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
wenzelm
parents: 3179
diff changeset
    10
#ISABELLE_LOGIC=ZF