author | wenzelm |
Wed, 18 Dec 1996 12:46:59 +0100 | |
changeset 2436 | 5be639c601b2 |
parent 2427 | d5efdfad074d |
child 2466 | 5220fb014f8a |
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_HTML=false
14 ###
15 ### Heap files
16 ###
18 # Note: ML system and platform info is appended automatically!
19 #ISABELLE_PATH=other-places-where-heaps-reside:$ISABELLE_PATH
21 #DEFAULT_LOGIC=ZF
22 #DEFAULT_LOGIC=HOL
23 #DEFAULT_LOGIC=HOLCF
26 ###
27 ### Interfaces
28 ###
30 # Xterm with symbol font.
31 #ISABELLE_INTERFACE=xterm
32 #ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
33 #ISABELLE_SYMBOLS=true
35 # GNU Emacs running Isamode.
36 #ISABELLE_INTERFACE=emacs
37 #ISABELLE_INTERFACE_OPTIONS=""
38 #ISABELLE_SYMBOLS=true