etc/user-settings.sample
author wenzelm
Tue Mar 11 16:17:26 1997 +0100 (1997-03-11)
changeset 2785 27a17c846021
parent 2599 652e202b7ddb
child 2937 9d31c472d0b0
permissions -rw-r--r--
tuned;
     1 #
     2 # $Id$
     3 #
     4 # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
     5 #
     6 
     7 ###
     8 ### Compilation options
     9 ###
    10 
    11 #ISABELLE_HTML=false
    12 
    13 
    14 ###
    15 ### Heap files
    16 ###
    17 
    18 # Note: ML system and platform info is appended automatically!
    19 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
    20 
    21 #DEFAULT_LOGIC=ZF
    22 #DEFAULT_LOGIC=HOL
    23 #DEFAULT_LOGIC=HOLCF
    24 
    25 
    26 ###
    27 ### Interfaces
    28 ###
    29 
    30 # Simple xterm based interface.
    31 #ISABELLE_INTERFACE=xterm
    32 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"