etc/user-settings.sample
author wenzelm
Wed Sep 29 13:49:07 1999 +0200 (1999-09-29)
changeset 7632 25a0d2ba3a87
parent 3749 8a8ed98bd2ca
child 7856 7d06972db6ca
permissions -rw-r--r--
removed extra shyps error;
     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="-i 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 
    34 # Emacs running Isamode.
    35 #ISABELLE_INTERFACE=emacs