| author | wenzelm |
| Thu, 17 Apr 1997 10:30:57 +0200 | |
| changeset 2968 | 8ba30b031f31 |
| parent 2937 | 9d31c472d0b0 |
| child 3118 | 24dae6222579 |
| permissions | -rw-r--r-- |
1 #
2 # $Id$
3 #
4 # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
5 #
7 ###
8 ### Compilation options
9 ###
11 #ISABELLE_USEDIR_OPTIONS="-h true -g true"
14 ###
15 ### Heap files
16 ###
18 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
20 #DEFAULT_LOGIC=ZF
23 ###
24 ### Interfaces
25 ###
27 # Simple xterm based interface.
28 #ISABELLE_INTERFACE=xterm
29 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
31 # GNU Emacs running Isamode.
32 #ISABELLE_INTERFACE=emacs
33 #ISABELLE_INTERFACE_OPTIONS=""
34 #ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode