lib/Tools/installfonts
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1997-05-20 wenzelm 1997-05-20 fixed spelling;
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-03-11 wenzelm 1997-03-11 tuned comment; more robust check;
1997-03-07 wenzelm 1997-03-07 more robust check;
1997-02-04 wenzelm 1997-02-04 now uses ISABELLE_INSTALLFONTS;
1996-12-09 wenzelm 1996-12-09 added -norc option;
1996-12-04 wenzelm 1996-12-04 fails more gracefully;
1996-12-02 wenzelm 1996-12-02 installfonts: install Isabelle symbol fonts.