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