# HG changeset patch
# User wenzelm
# Date 858093884 -3600
# Node ID b36ca42c409a08ed96b387e2a7d0cd0ef17c4cc8
# Parent  27a17c8460212713c5db04d55d440f4e528e49a5
tuned comments;

diff -r 27a17c846021 -r b36ca42c409a etc/settings
--- 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=""