author | wenzelm |
Wed, 13 Oct 1999 19:43:26 +0200 | |
changeset 7856 | 7d06972db6ca |
parent 3749 | 8a8ed98bd2ca |
child 9226 | cbe6144f0f15 |
permissions | -rw-r--r-- |
wenzelm@2427 | 1 |
# |
wenzelm@2427 | 2 |
# $Id$ |
wenzelm@2427 | 3 |
# |
wenzelm@3179 | 4 |
# Isabelle user settings sample (everything commented out) |
wenzelm@3179 | 5 |
# -- some parts may be copied into ~/isabelle/etc/settings. |
wenzelm@2427 | 6 |
# |
wenzelm@2427 | 7 |
|
wenzelm@2427 | 8 |
### |
wenzelm@2436 | 9 |
### Compilation options |
wenzelm@2436 | 10 |
### |
wenzelm@2436 | 11 |
|
wenzelm@7856 | 12 |
#ISABELLE_USEDIR_OPTIONS="-i true -d pdf" |
wenzelm@2436 | 13 |
|
wenzelm@2436 | 14 |
|
wenzelm@2436 | 15 |
### |
wenzelm@2427 | 16 |
### Heap files |
wenzelm@2427 | 17 |
### |
wenzelm@2427 | 18 |
|
wenzelm@3118 | 19 |
# Note: ML system identifier appended automatically! |
wenzelm@3118 | 20 |
|
wenzelm@2599 | 21 |
#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
wenzelm@3118 | 22 |
#ISABELLE_OUTPUT=somewhere-else |
wenzelm@2427 | 23 |
|
wenzelm@3184 | 24 |
#ISABELLE_LOGIC=ZF |
wenzelm@2427 | 25 |
|
wenzelm@2427 | 26 |
|
wenzelm@2427 | 27 |
### |
wenzelm@2427 | 28 |
### Interfaces |
wenzelm@2427 | 29 |
### |
wenzelm@2427 | 30 |
|
wenzelm@2785 | 31 |
# Simple xterm based interface. |
wenzelm@2427 | 32 |
#ISABELLE_INTERFACE=xterm |
wenzelm@2968 | 33 |
|
wenzelm@3289 | 34 |
# Emacs running Isamode. |
wenzelm@2968 | 35 |
#ISABELLE_INTERFACE=emacs |