etc/user-settings.sample
author paulson
Wed Nov 05 13:23:46 1997 +0100 (1997-11-05)
changeset 4153 e534c4c32d54
parent 3749 8a8ed98bd2ca
child 7856 7d06972db6ca
permissions -rw-r--r--
Ran expandshort, especially to introduce Safe_tac
     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