etc/user-settings.sample
author wenzelm
Tue Sep 30 16:12:38 1997 +0200 (1997-09-30)
changeset 3749 8a8ed98bd2ca
parent 3289 8c947c178f29
child 7856 7d06972db6ca
permissions -rw-r--r--
ISABELLE_USEDIR_OPTIONS="-i true"
wenzelm@2427
     1
#
wenzelm@2427
     2
# $Id$
wenzelm@2427
     3
#
wenzelm@3179
     4
# Isabelle user settings sample (everything commented out)
wenzelm@3179
     5
#   -- some parts may be copied into ~/isabelle/etc/settings.
wenzelm@2427
     6
#
wenzelm@2427
     7
wenzelm@2427
     8
###
wenzelm@2436
     9
### Compilation options
wenzelm@2436
    10
###
wenzelm@2436
    11
wenzelm@3749
    12
#ISABELLE_USEDIR_OPTIONS="-i true"
wenzelm@2436
    13
wenzelm@2436
    14
wenzelm@2436
    15
###
wenzelm@2427
    16
### Heap files
wenzelm@2427
    17
###
wenzelm@2427
    18
wenzelm@3118
    19
# Note: ML system identifier appended automatically!
wenzelm@3118
    20
wenzelm@2599
    21
#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
wenzelm@3118
    22
#ISABELLE_OUTPUT=somewhere-else
wenzelm@2427
    23
wenzelm@3184
    24
#ISABELLE_LOGIC=ZF
wenzelm@2427
    25
wenzelm@2427
    26
wenzelm@2427
    27
###
wenzelm@2427
    28
### Interfaces
wenzelm@2427
    29
###
wenzelm@2427
    30
wenzelm@2785
    31
# Simple xterm based interface.
wenzelm@2427
    32
#ISABELLE_INTERFACE=xterm
wenzelm@2968
    33
wenzelm@3289
    34
# Emacs running Isamode.
wenzelm@2968
    35
#ISABELLE_INTERFACE=emacs