etc/user-settings.sample
author oheimb
Fri Jun 02 20:38:28 2000 +0200 (2000-06-02)
changeset 9028 8a1ec8f05f14
parent 7856 7d06972db6ca
child 9226 cbe6144f0f15
permissions -rw-r--r--
added HOL/Prolog
     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