etc/user-settings.sample
author wenzelm
Tue, 20 May 1997 19:29:50 +0200
changeset 3257 4e3724e0659f
parent 3184 4e0bbfb113d5
child 3289 8c947c178f29
permissions -rw-r--r--
README generation;
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
2937
wenzelm
parents: 2785
diff changeset
    12
#ISABELLE_USEDIR_OPTIONS="-h true -g 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
2599
wenzelm
parents: 2466
diff changeset
    33
#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
2968
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    34
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    35
# GNU Emacs running Isamode.
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    36
#ISABELLE_INTERFACE=emacs
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    37
#ISABELLE_INTERFACE_OPTIONS=""