etc/user-settings.sample
author wenzelm
Fri Feb 07 17:14:56 1997 +0100 (1997-02-07)
changeset 2599 652e202b7ddb
parent 2466 5220fb014f8a
child 2785 27a17c846021
permissions -rw-r--r--
tuned;
removed ISABELLE_INTERFACE_OPTIONS;
     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 # XTerm
    31 #ISABELLE_INTERFACE=xterm
    32 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
    33 
    34 # GNU Emacs running Isamode.
    35 #ISABELLE_INTERFACE=emacs
    36 #ISABELLE_INTERFACE_OPTIONS=""