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