etc/user-settings.sample
author wenzelm
Thu, 17 Apr 1997 10:30:57 +0200
changeset 2968 8ba30b031f31
parent 2937 9d31c472d0b0
child 3118 24dae6222579
permissions -rw-r--r--
eliminated PLATFORM;
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
#
2436
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
     4
# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     5
#
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     6
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
     7
###
2436
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
     8
### Compilation options
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
     9
###
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    10
2937
wenzelm
parents: 2785
diff changeset
    11
#ISABELLE_USEDIR_OPTIONS="-h true -g true"
2436
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    12
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    13
5be639c601b2 added ISABELLE_HTML;
wenzelm
parents: 2427
diff changeset
    14
###
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    15
### Heap files
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    16
###
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    17
2599
wenzelm
parents: 2466
diff changeset
    18
#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    19
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    20
#DEFAULT_LOGIC=ZF
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    21
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    22
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    23
###
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    24
### Interfaces
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    25
###
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    26
2785
wenzelm
parents: 2599
diff changeset
    27
# Simple xterm based interface.
2427
d5efdfad074d Isabelle user settings sample;
wenzelm
parents:
diff changeset
    28
#ISABELLE_INTERFACE=xterm
2599
wenzelm
parents: 2466
diff changeset
    29
#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
2968
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    30
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    31
# GNU Emacs running Isamode.
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    32
#ISABELLE_INTERFACE=emacs
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    33
#ISABELLE_INTERFACE_OPTIONS=""
8ba30b031f31 eliminated PLATFORM;
wenzelm
parents: 2937
diff changeset
    34
#ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode