lib/fonts/bdf-code.txt
Mon, 02 Dec 1996 18:22:22 +0100 wenzelm isabelle symbol fonts;
less more (0) tip