# HG changeset patch
# User wenzelm
# Date 850823462 -3600
# Node ID d5efdfad074dd45b3be65670b366fb0859bf4a52
# Parent  dc9dcdb43b4f36a10326bbc826654a12255aa4c5
Isabelle user settings sample;

diff -r dc9dcdb43b4f -r d5efdfad074d etc/user-settings.sample
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etc/user-settings.sample	Tue Dec 17 12:51:02 1996 +0100
@@ -0,0 +1,31 @@
+#
+# $Id$
+#
+# Isabelle user settings sample -- to be copied to ~/isabelle/etc/settings.
+#
+
+###
+### Heap files
+###
+
+# Note: ML system and platform info is appended automatically!
+#ISABELLE_PATH=other-places-where-heaps-reside:$ISABELLE_PATH
+
+#DEFAULT_LOGIC=ZF
+#DEFAULT_LOGIC=HOL
+#DEFAULT_LOGIC=HOLCF
+
+
+###
+### Interfaces
+###
+
+# Xterm with symbol font.
+#ISABELLE_INTERFACE=xterm
+#ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
+#ISABELLE_SYMBOLS=true
+
+# GNU Emacs running Isamode.
+#ISABELLE_INTERFACE=emacs
+#ISABELLE_INTERFACE_OPTIONS=""
+#ISABELLE_SYMBOLS=true