--- a/etc/settings Tue Feb 25 16:57:25 1997 +0100
+++ b/etc/settings Thu Feb 27 12:10:28 1997 +0100
@@ -34,7 +34,7 @@
# Standard ML of New Jersey 1.09
#ML_SYSTEM=smlnj-1.09
-#ML_HOME=~wenzelm/tmp/109/bin
+#ML_HOME=/usr/local/sml109/bin
#ML_OPTIONS="@SMLdebug=/dev/null"
@@ -67,7 +67,7 @@
DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
-# How to install the isabelle X11 fonts
+# How to install the isabelle X11 fonts.
ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100"
@@ -80,7 +80,7 @@
#ISABELLE_INTERFACE=none
#ISABELLE_INTERFACE_OPTIONS=""
-# XTerm
+# XTerm.
ISABELLE_INTERFACE=xterm
ISABELLE_INTERFACE_OPTIONS=""