system: isatool installfonts may handle X-Symbol fonts as well;
authorwenzelm
Fri Sep 15 16:46:15 2000 +0200 (2000-09-15)
changeset 998101a0c4772c18
parent 9980 5eec17e4e95e
child 9982 1860276fc8de
system: isatool installfonts may handle X-Symbol fonts as well;
NEWS
     1.1 --- a/NEWS	Fri Sep 15 16:44:57 2000 +0200
     1.2 +++ b/NEWS	Fri Sep 15 16:46:15 2000 +0200
     1.3 @@ -365,6 +365,9 @@
     1.4  option of isabelle and isatool usedir (currently only observed by
     1.5  Poly/ML);
     1.6  
     1.7 +* system: isatool installfonts may handle X-Symbol fonts as well (very
     1.8 +useful for remote X11);
     1.9 +
    1.10  * system: provide TAGS file for Isabelle sources;
    1.11  
    1.12  * settings: smart setup of canonical ML_HOME, ISABELLE_INTERFACE, and