etc/user-settings.sample
author wenzelm
Wed Dec 18 12:46:59 1996 +0100 (1996-12-18)
changeset 2436 5be639c601b2
parent 2427 d5efdfad074d
child 2466 5220fb014f8a
permissions -rw-r--r--
added ISABELLE_HTML;
     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-reside:$ISABELLE_PATH
    20 
    21 #DEFAULT_LOGIC=ZF
    22 #DEFAULT_LOGIC=HOL
    23 #DEFAULT_LOGIC=HOLCF
    24 
    25 
    26 ###
    27 ### Interfaces
    28 ###
    29 
    30 # Xterm with symbol font.
    31 #ISABELLE_INTERFACE=xterm
    32 #ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
    33 #ISABELLE_SYMBOLS=true
    34 
    35 # GNU Emacs running Isamode.
    36 #ISABELLE_INTERFACE=emacs
    37 #ISABELLE_INTERFACE_OPTIONS=""
    38 #ISABELLE_SYMBOLS=true