etc/user-settings.sample
author wenzelm
Wed Oct 13 19:43:26 1999 +0200 (1999-10-13)
changeset 7856 7d06972db6ca
parent 3749 8a8ed98bd2ca
child 9226 cbe6144f0f15
permissions -rw-r--r--
-d pdf;
     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 -d pdf"
    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