author | wenzelm |
Tue, 17 Dec 1996 12:51:02 +0100 | |
changeset 2427 | d5efdfad074d |
child 2436 | 5be639c601b2 |
permissions | -rw-r--r-- |
wenzelm@2427 | 1 |
# |
wenzelm@2427 | 2 |
# $Id$ |
wenzelm@2427 | 3 |
# |
wenzelm@2427 | 4 |
# Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings. |
wenzelm@2427 | 5 |
# |
wenzelm@2427 | 6 |
|
wenzelm@2427 | 7 |
### |
wenzelm@2427 | 8 |
### Heap files |
wenzelm@2427 | 9 |
### |
wenzelm@2427 | 10 |
|
wenzelm@2427 | 11 |
# Note: ML system and platform info is appended automatically! |
wenzelm@2427 | 12 |
#ISABELLE_PATH=other-places-where-heaps-reside:$ISABELLE_PATH |
wenzelm@2427 | 13 |
|
wenzelm@2427 | 14 |
#DEFAULT_LOGIC=ZF |
wenzelm@2427 | 15 |
#DEFAULT_LOGIC=HOL |
wenzelm@2427 | 16 |
#DEFAULT_LOGIC=HOLCF |
wenzelm@2427 | 17 |
|
wenzelm@2427 | 18 |
|
wenzelm@2427 | 19 |
### |
wenzelm@2427 | 20 |
### Interfaces |
wenzelm@2427 | 21 |
### |
wenzelm@2427 | 22 |
|
wenzelm@2427 | 23 |
# Xterm with symbol font. |
wenzelm@2427 | 24 |
#ISABELLE_INTERFACE=xterm |
wenzelm@2427 | 25 |
#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52" |
wenzelm@2427 | 26 |
#ISABELLE_SYMBOLS=true |
wenzelm@2427 | 27 |
|
wenzelm@2427 | 28 |
# GNU Emacs running Isamode. |
wenzelm@2427 | 29 |
#ISABELLE_INTERFACE=emacs |
wenzelm@2427 | 30 |
#ISABELLE_INTERFACE_OPTIONS="" |
wenzelm@2427 | 31 |
#ISABELLE_SYMBOLS=true |