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