etc/user-settings.sample
author wenzelm
Tue Dec 17 12:51:02 1996 +0100 (1996-12-17)
changeset 2427 d5efdfad074d
child 2436 5be639c601b2
permissions -rw-r--r--
Isabelle user settings sample;
wenzelm@2427
     1
#
wenzelm@2427
     2
# $Id$
wenzelm@2427
     3
#
wenzelm@2427
     4
# Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings.
wenzelm@2427
     5
#
wenzelm@2427
     6
wenzelm@2427
     7
###
wenzelm@2427
     8
### Heap files
wenzelm@2427
     9
###
wenzelm@2427
    10
wenzelm@2427
    11
# Note: ML system and platform info is appended automatically!
wenzelm@2427
    12
#ISABELLE_PATH=other-places-where-heaps-reside:$ISABELLE_PATH
wenzelm@2427
    13
wenzelm@2427
    14
#DEFAULT_LOGIC=ZF
wenzelm@2427
    15
#DEFAULT_LOGIC=HOL
wenzelm@2427
    16
#DEFAULT_LOGIC=HOLCF
wenzelm@2427
    17
wenzelm@2427
    18
wenzelm@2427
    19
###
wenzelm@2427
    20
### Interfaces
wenzelm@2427
    21
###
wenzelm@2427
    22
wenzelm@2427
    23
# Xterm with symbol font.
wenzelm@2427
    24
#ISABELLE_INTERFACE=xterm
wenzelm@2427
    25
#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
wenzelm@2427
    26
#ISABELLE_SYMBOLS=true
wenzelm@2427
    27
wenzelm@2427
    28
# GNU Emacs running Isamode.
wenzelm@2427
    29
#ISABELLE_INTERFACE=emacs
wenzelm@2427
    30
#ISABELLE_INTERFACE_OPTIONS=""
wenzelm@2427
    31
#ISABELLE_SYMBOLS=true