etc/user-settings.sample
author wenzelm
Wed, 26 Aug 1998 16:33:29 +0200
changeset 5374 6ef3742b6153
parent 3749 8a8ed98bd2ca
child 7856 7d06972db6ca
permissions -rw-r--r--
moved images to gfx dir;
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)
c8263805dede tuned comment;
wenzelm
parents: 3178
diff changeset
     5
#   -- some parts may be copied into ~/isabelle/etc/settings.
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     6
#
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     7
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     8
###
2436
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
     9
### Compilation options
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    10
###
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    11
3749
8a8ed98bd2ca ISABELLE_USEDIR_OPTIONS="-i true"
wenzelm
parents: 3289
diff changeset
    12
#ISABELLE_USEDIR_OPTIONS="-i true"
2436
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    13
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    14
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    15
###
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    16
### Heap files
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    17
###
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    18
3118
24dae6222579 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
wenzelm
parents: 2968
diff changeset
    19
# Note: ML system identifier appended automatically!
24dae6222579 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
wenzelm
parents: 2968
diff changeset
    20
2599
wenzelm
parents: 2466
diff changeset
    21
#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
3118
24dae6222579 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
wenzelm
parents: 2968
diff changeset
    22
#ISABELLE_OUTPUT=somewhere-else
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    23
3184
4e0bbfb113d5 renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
wenzelm
parents: 3179
diff changeset
    24
#ISABELLE_LOGIC=ZF
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    25
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    26
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    27
###
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    28
### Interfaces
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    29
###
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    30
2785
wenzelm
parents: 2599
diff changeset
    31
# Simple xterm based interface.
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    32
#ISABELLE_INTERFACE=xterm
2968
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    33
3289
wenzelm
parents: 3184
diff changeset
    34
# Emacs running Isamode.
2968
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    35
#ISABELLE_INTERFACE=emacs