summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/hithesis/front
ModeNameSize
-rw-r--r--cover.tex3971logplain
-rw-r--r--denotation.tex346logplain