--- a/etc/settings Fri Jan 31 17:51:42 1997 +0100
+++ b/etc/settings Tue Feb 04 08:58:47 1997 +0100
@@ -43,11 +43,11 @@
###
# Should be 'true' or 'false':
-ISABELLE_HTML=true
+ISABELLE_HTML=false
###
-### Misc path settings
+### Misc path settings etc.
###
# The place for user configuration, heap files, etc.
@@ -67,6 +67,11 @@
DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
+# 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"
+
+
###
### Interfaces
###