# HG changeset patch
# User wenzelm
# Date 855043127 -3600
# Node ID eec6bdf5380994a01795640959bfc41dfbe5a755
# Parent  390c9fb786b52878517f4457ffd2c8f5bd9141ee
added ISABELLE_INSTALLFONTS;

diff -r 390c9fb786b5 -r eec6bdf53809 etc/settings
--- 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
 ###