author | wenzelm |
Tue, 30 Sep 1997 16:12:38 +0200 | |
changeset 3749 | 8a8ed98bd2ca |
parent 3289 | 8c947c178f29 |
child 7856 | 7d06972db6ca |
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"
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