etc/user-settings.sample
author wenzelm
Wed May 14 18:37:03 1997 +0200 (1997-05-14)
changeset 3184 4e0bbfb113d5
parent 3179 c8263805dede
child 3289 8c947c178f29
permissions -rw-r--r--
renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
     1 #
     2 # $Id$
     3 #
     4 # Isabelle user settings sample (everything commented out)
     5 #   -- some parts may be copied into ~/isabelle/etc/settings.
     6 #
     7 
     8 ###
     9 ### Compilation options
    10 ###
    11 
    12 #ISABELLE_USEDIR_OPTIONS="-h true -g true"
    13 
    14 
    15 ###
    16 ### Heap files
    17 ###
    18 
    19 # Note: ML system identifier appended automatically!
    20 
    21 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
    22 #ISABELLE_OUTPUT=somewhere-else
    23 
    24 #ISABELLE_LOGIC=ZF
    25 
    26 
    27 ###
    28 ### Interfaces
    29 ###
    30 
    31 # Simple xterm based interface.
    32 #ISABELLE_INTERFACE=xterm
    33 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
    34 
    35 # GNU Emacs running Isamode.
    36 #ISABELLE_INTERFACE=emacs
    37 #ISABELLE_INTERFACE_OPTIONS=""