#

# $Id$

#

# Isabelle user settings sample (everything commented out)

#   -- some parts may be copied into ~/isabelle/etc/settings.

#

###

### Compilation options

###

#ISABELLE_USEDIR_OPTIONS="-h true -g true"

###

### Heap files

###

# Note: ML system identifier appended automatically!

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

#ISABELLE_OUTPUT=somewhere-else

#DEFAULT_LOGIC=ZF

###

### Interfaces

###

# Simple xterm based interface.

#ISABELLE_INTERFACE=xterm

#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"

# GNU Emacs running Isamode.

#ISABELLE_INTERFACE=emacs

#ISABELLE_INTERFACE_OPTIONS=""