| #
c2fa704d |
|
21-Jul-2016 |
Matthew Brecknell <Matthew.Brecknell@nicta.com.au> |
add workaround for building documents with TeX Live 2016 [VER-622]
Isabelle LaTeX style files use old font commands \bf, \rm, \tt, etc.
However, newer versions of some LaTeX document classes (e.g. scrbook)
have removed support for these commands. This brings back those
commands for documents built with isabelle.sty.
|