etc/user-settings.sample
author oheimb
Tue, 07 Apr 1998 13:46:05 +0200
changeset 4800 97c3a45d092b
parent 3749 8a8ed98bd2ca
child 7856 7d06972db6ca
permissions -rw-r--r--
replaced option_map_SomeD by option_map_eq_Some (RS iffD1) added option_map_eq_Some to simpset(), option_map_eq_Some RS iffD1 to claset()

#
# $Id$
#
# Isabelle user settings sample (everything commented out)
#   -- some parts may be copied into ~/isabelle/etc/settings.
#

###
### Compilation options
###

#ISABELLE_USEDIR_OPTIONS="-i true"


###
### Heap files
###

# Note: ML system identifier appended automatically!

#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
#ISABELLE_OUTPUT=somewhere-else

#ISABELLE_LOGIC=ZF


###
### Interfaces
###

# Simple xterm based interface.
#ISABELLE_INTERFACE=xterm

# Emacs running Isamode.
#ISABELLE_INTERFACE=emacs