# 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 ###