etc/user-settings.sample
author wenzelm
Sat, 12 Apr 1997 19:59:44 +0200
changeset 2937 9d31c472d0b0
parent 2785 27a17c846021
child 2968 8ba30b031f31
permissions -rw-r--r--
tuned;

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

###
### Compilation options
###

#ISABELLE_USEDIR_OPTIONS="-h true -g true"


###
### Heap files
###

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

#DEFAULT_LOGIC=ZF


###
### Interfaces
###

# Simple xterm based interface.
#ISABELLE_INTERFACE=xterm
#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"