History log of /seL4-l4v-master/isabelle/Admin/isabelle_fonts/IsabelleSymbols.sfd
Revision Date Author Comments
# 68d70025 17-Jul-2019 wenzelm <none@none>

added \<llangle>, \<rrangle>;
discontinued special rendering for old {* *};
# 468cf5fb 17-Jul-2019 wenzelm <none@none>

added \<bbar>;
# baa5a8c5 17-Jul-2019 wenzelm <none@none>

added \<sqdot>;
# a1f97411 09-Dec-2018 wenzelm <none@none>

more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
# b18709e9 09-Dec-2018 wenzelm <none@none>

clarified names;

--HG--
rename : Admin/isabelle_fonts/IsabelleText.sfd => Admin/isabelle_fonts/IsabelleSymbols.sfd
rename : Admin/isabelle_fonts/IsabelleTextBold.sfd => Admin/isabelle_fonts/IsabelleSymbolsBold.sfd