History log of /seL4-l4v-master/isabelle/Admin/isabelle_fonts/Vacuous.sfd
Revision Date Author Comments
# 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