etc/user-settings.sample
author wenzelm
Sat Apr 12 19:59:44 1997 +0200 (1997-04-12)
changeset 2937 9d31c472d0b0
parent 2785 27a17c846021
child 2968 8ba30b031f31
permissions -rw-r--r--
tuned;
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@2427
    18
# Note: ML system and platform info is appended automatically!
wenzelm@2599
    19
#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
wenzelm@2427
    20
wenzelm@2427
    21
#DEFAULT_LOGIC=ZF
wenzelm@2427
    22
wenzelm@2427
    23
wenzelm@2427
    24
###
wenzelm@2427
    25
### Interfaces
wenzelm@2427
    26
###
wenzelm@2427
    27
wenzelm@2785
    28
# Simple xterm based interface.
wenzelm@2427
    29
#ISABELLE_INTERFACE=xterm
wenzelm@2599
    30
#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"