--- a/etc/settings Tue Mar 11 16:17:26 1997 +0100
+++ b/etc/settings Tue Mar 11 16:24:44 1997 +0100
@@ -5,10 +5,10 @@
#
###
-### ML compiler settings
+### ML compiler settings (ESSENTIAL)
###
-## Uncomment / adapt one of the sections below. Note that ML_HOME
+## Uncomment and adapt one of the sections below. Note that ML_HOME
## specifies the location of the actual compiler binaries.
# Poly/ML 2.x
@@ -42,7 +42,7 @@
### Compilation options
###
-# Should be 'true' or 'false':
+# HTML generation (should be 'true' or 'false').
ISABELLE_HTML=false
@@ -53,8 +53,13 @@
# The place for user configuration, heap files, etc.
ISABELLE_HOME_USER=~/isabelle
-# Heap file in/out locations.
-# Note: ML system and platform info is appended automatically!
+# Where to look for isabelle tools.
+ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
+
+
+# Heap file input and output locations. Note that ML system and
+# platform info is appended automatically.
+
ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
@@ -63,8 +68,10 @@
ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
fi
+DEFAULT_LOGIC=HOL
-DEFAULT_LOGIC=HOL
+
+## Docs
ISABELLE_DOCS=$ISABELLE_HOME/doc
@@ -73,7 +80,7 @@
DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
-# How to install the isabelle X11 fonts.
+# How to install the isabelle X11 fonts (can be tricky!).
ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100"
@@ -86,11 +93,6 @@
#ISABELLE_INTERFACE=none
#ISABELLE_INTERFACE_OPTIONS=""
-# XTerm.
+# Simple xterm based interface.
ISABELLE_INTERFACE=xterm
-ISABELLE_INTERFACE_OPTIONS="-p -mxterm"
-
-# GNU Emacs running Isamode.
-#ISABELLE_INTERFACE=emacs
-#ISABELLE_INTERFACE_OPTIONS=""
-ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
+ISABELLE_INTERFACE_OPTIONS=""