lib/Tools/installfonts
Mon, 02 Dec 1996 18:21:50 +0100 wenzelm installfonts: install Isabelle symbol fonts.
less more (0) tip