lib/fonts/fonts.dir
1997-03-07 wenzelm 1997-03-07 fixed;
1997-03-07 wenzelm 1997-03-07 renamed fonts;
1996-12-02 wenzelm 1996-12-02 isabelle symbol fonts;