added ISABELLE_INSTALLFONTS;
authorwenzelm
Tue Feb 04 08:58:47 1997 +0100 (1997-02-04)
changeset 2577eec6bdf53809
parent 2576 390c9fb786b5
child 2578 cc768a16ef65
added ISABELLE_INSTALLFONTS;
etc/settings
     1.1 --- a/etc/settings	Fri Jan 31 17:51:42 1997 +0100
     1.2 +++ b/etc/settings	Tue Feb 04 08:58:47 1997 +0100
     1.3 @@ -43,11 +43,11 @@
     1.4  ###
     1.5  
     1.6  # Should be 'true' or 'false':
     1.7 -ISABELLE_HTML=true
     1.8 +ISABELLE_HTML=false
     1.9  
    1.10  
    1.11  ###
    1.12 -### Misc path settings
    1.13 +### Misc path settings etc.
    1.14  ###
    1.15  
    1.16  # The place for user configuration, heap files, etc.
    1.17 @@ -67,6 +67,11 @@
    1.18  DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
    1.19  
    1.20  
    1.21 +# How to install the isabelle X11 fonts
    1.22 +ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
    1.23 +#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv:7100"
    1.24 +
    1.25 +
    1.26  ###
    1.27  ### Interfaces
    1.28  ###