etc/user-settings.sample
author wenzelm
Tue May 06 15:27:35 1997 +0200 (1997-05-06)
changeset 3118 24dae6222579
parent 2968 8ba30b031f31
child 3178 97d2d09e61fe
permissions -rw-r--r--
fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
     1 #
     2 # $Id$
     3 #
     4 # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
     5 #
     6 
     7 ###
     8 ### Compilation options
     9 ###
    10 
    11 #ISABELLE_USEDIR_OPTIONS="-h true -g true"
    12 
    13 
    14 ###
    15 ### Heap files
    16 ###
    17 
    18 # Note: ML system identifier appended automatically!
    19 
    20 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
    21 #ISABELLE_OUTPUT=somewhere-else
    22 
    23 #DEFAULT_LOGIC=ZF
    24 
    25 
    26 ###
    27 ### Interfaces
    28 ###
    29 
    30 # Simple xterm based interface.
    31 #ISABELLE_INTERFACE=xterm
    32 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
    33 
    34 # GNU Emacs running Isamode.
    35 #ISABELLE_INTERFACE=emacs
    36 #ISABELLE_INTERFACE_OPTIONS=""
    37 #ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode