etc/user-settings.sample
author wenzelm
Wed, 18 Dec 1996 12:46:59 +0100
changeset 2436 5be639c601b2
parent 2427 d5efdfad074d
child 2466 5220fb014f8a
permissions -rw-r--r--
added ISABELLE_HTML;

#
# $Id$
#
# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
#

###
### Compilation options
###

#ISABELLE_HTML=false


###
### Heap files
###

# Note: ML system and platform info is appended automatically!
#ISABELLE_PATH=other-places-where-heaps-reside:$ISABELLE_PATH

#DEFAULT_LOGIC=ZF
#DEFAULT_LOGIC=HOL
#DEFAULT_LOGIC=HOLCF


###
### Interfaces
###

# Xterm with symbol font.
#ISABELLE_INTERFACE=xterm
#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
#ISABELLE_SYMBOLS=true

# GNU Emacs running Isamode.
#ISABELLE_INTERFACE=emacs
#ISABELLE_INTERFACE_OPTIONS=""
#ISABELLE_SYMBOLS=true