History log of /seL4-l4v-10.1.1/HOL4/help/Docfiles/EmitTeX.print_theories_as_tex_doc.doc
Revision Date Author Comments
# 45056468 19-Jun-2008 Anthony Fox <anthony.fox@cl.cam.ac.uk>

Update to EmitTeX. Some functions have been renamed and some help entries
have been added.

EmitTeX is no longer included in bossLib and is instead loaded using
end-init-boss.sml.