lib/fonts/fonts.alias
1996-12-02 wenzelm 1996-12-02 isabelle symbol fonts;