etc/settings
changeset 2968 8ba30b031f31
parent 2915 4d2d409fe2ea
child 2969 4c8d60b01ef9
equal deleted inserted replaced
2967:89db5eedecab 2968:8ba30b031f31
    44 
    44 
    45 ISABELLE_USEDIR_OPTIONS=""
    45 ISABELLE_USEDIR_OPTIONS=""
    46 
    46 
    47 
    47 
    48 ###
    48 ###
    49 ### Misc path settings etc.
    49 ### Misc path settings
    50 ###
    50 ###
    51 
    51 
    52 # The place for user configuration, heap files, etc.
    52 # The place for user configuration, heap files, etc.
    53 ISABELLE_HOME_USER=~/isabelle
    53 ISABELLE_HOME_USER=~/isabelle
    54 
    54 
    55 # Where to look for isabelle tools.
    55 # Where to look for isabelle tools.
    56 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    56 ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
    57 
    57 
    58 
    58 
    59 # Heap file input and output locations.  Note that ML system and
    59 # Heap file locations.
    60 # platform info is appended automatically.
       
    61 
    60 
    62 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
    61 ISABELLE_PATH=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM:$ISABELLE_HOME/heaps/$ML_SYSTEM
    63 
    62 
    64 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    63 if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
    65   ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
    64   ISABELLE_OUTPUT_DIR=$ISABELLE_HOME/heaps/$ML_SYSTEM
    66 else
    65 else
    67   ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
    66   ISABELLE_OUTPUT_DIR=$ISABELLE_HOME_USER/heaps/$ML_SYSTEM
    68 fi
    67 fi
    69 
    68 
    70 DEFAULT_LOGIC=HOL
    69 DEFAULT_LOGIC=HOL
    71 
    70 
    72 
    71 
    93 #ISABELLE_INTERFACE_OPTIONS=""
    92 #ISABELLE_INTERFACE_OPTIONS=""
    94 
    93 
    95 # Simple xterm based interface.
    94 # Simple xterm based interface.
    96 ISABELLE_INTERFACE=xterm
    95 ISABELLE_INTERFACE=xterm
    97 ISABELLE_INTERFACE_OPTIONS=""
    96 ISABELLE_INTERFACE_OPTIONS=""
       
    97 
       
    98 # GNU Emacs running Isamode.
       
    99 #ISABELLE_INTERFACE=emacs
       
   100 #ISABELLE_INTERFACE_OPTIONS=""
       
   101 #ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode