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