Isabelle user settings sample;
authorwenzelm
Tue Dec 17 12:51:02 1996 +0100 (1996-12-17)
changeset 2427d5efdfad074d
parent 2426 dc9dcdb43b4f
child 2428 853732a26bdd
Isabelle user settings sample;
etc/user-settings.sample
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/etc/user-settings.sample	Tue Dec 17 12:51:02 1996 +0100
     1.3 @@ -0,0 +1,31 @@
     1.4 +#
     1.5 +# $Id$
     1.6 +#
     1.7 +# Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings.
     1.8 +#
     1.9 +
    1.10 +###
    1.11 +### Heap files
    1.12 +###
    1.13 +
    1.14 +# Note: ML system and platform info is appended automatically!
    1.15 +#ISABELLE_PATH=other-places-where-heaps-reside:$ISABELLE_PATH
    1.16 +
    1.17 +#DEFAULT_LOGIC=ZF
    1.18 +#DEFAULT_LOGIC=HOL
    1.19 +#DEFAULT_LOGIC=HOLCF
    1.20 +
    1.21 +
    1.22 +###
    1.23 +### Interfaces
    1.24 +###
    1.25 +
    1.26 +# Xterm with symbol font.
    1.27 +#ISABELLE_INTERFACE=xterm
    1.28 +#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
    1.29 +#ISABELLE_SYMBOLS=true
    1.30 +
    1.31 +# GNU Emacs running Isamode.
    1.32 +#ISABELLE_INTERFACE=emacs
    1.33 +#ISABELLE_INTERFACE_OPTIONS=""
    1.34 +#ISABELLE_SYMBOLS=true