etc/user-settings.sample
author wenzelm
Thu Apr 17 10:30:57 1997 +0200 (1997-04-17)
changeset 2968 8ba30b031f31
parent 2937 9d31c472d0b0
child 3118 24dae6222579
permissions -rw-r--r--
eliminated PLATFORM;
     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 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
    19 
    20 #DEFAULT_LOGIC=ZF
    21 
    22 
    23 ###
    24 ### Interfaces
    25 ###
    26 
    27 # Simple xterm based interface.
    28 #ISABELLE_INTERFACE=xterm
    29 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
    30 
    31 # GNU Emacs running Isamode.
    32 #ISABELLE_INTERFACE=emacs
    33 #ISABELLE_INTERFACE_OPTIONS=""
    34 #ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode