History log of /seL4-l4v-master/isabelle/Admin/isabelle_fonts/README
Revision Date Author Comments
# 5e67438d 17-Jul-2019 wenzelm <none@none>

updated to isabelle_fonts-20190717;
# ee842a06 10-Feb-2019 wenzelm <none@none>

updated to isabelle_fonts-20190210;
# 5899fb5f 29-Nov-2018 wenzelm <none@none>

generate full component;
# 00a545db 28-Nov-2018 wenzelm <none@none>

clarified Admin resources;
tuned comments;

--HG--
rename : lib/fonts/IsabelleText.sfd => Admin/isabelle_fonts/IsabelleText.sfd
rename : lib/fonts/IsabelleTextBold.sfd => Admin/isabelle_fonts/IsabelleTextBold.sfd
rename : lib/fonts/README => Admin/isabelle_fonts/README
rename : lib/fonts/Vacuous.sfd => Admin/isabelle_fonts/Vacuous.sfd