History log of /seL4-l4v-master/l4v/isabelle/lib/texinputs/comment.sty
Revision Date Author Comments
# 2d87157d 31-Jan-2014 wenzelm <none@none>

include comment.sty 3.6 which still works with plain tex, in contrast to later 3.7 which is only for latex (slow due to file snippets) -- see also 30781cc78fc6;