adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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.
This commit is contained in:
Matthew Brecknell 2016-07-21 16:09:36 +10:00
parent 0c6effafd4
commit c2fa704d9b
5 changed files with 52 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
camkes/adl-spec/document/root.tex
View File

@ -12,6 +12,16 @@
\newif \ifDraft \Draftfalse
% These old font commands have been removed from newer versions of
% the scrreprt document class, but isabelle.sty still uses them.
\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
\usepackage{isabelle,isabellesym}
% further packages required for unusual symbols (see also

10
camkes/glue-proofs/document/root.tex
View File

@ -10,6 +10,16 @@
\documentclass[11pt,a4paper]{scrreprt}
% These old font commands have been removed from newer versions of
% the scrreprt document class, but isabelle.sty still uses them.
\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
\newif \ifDraft \Draftfalse
\usepackage{isabelle,isabellesym}

10
camkes/glue-spec/document/root.tex
View File

@ -10,6 +10,16 @@
\documentclass[11pt,a4paper]{scrreprt}
% These old font commands have been removed from newer versions of
% the scrreprt document class, but isabelle.sty still uses them.
\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
\newif \ifDraft \Draftfalse
\usepackage{isabelle,isabellesym}

11
proof/bisim/document/root.tex
View File

@ -11,6 +11,17 @@
% LaTeX master document for abstract spec.
\documentclass[10pt,a4paper]{scrbook}
% These old font commands have been removed from newer versions of
% the scrbook document class, but isabelle.sty still uses them.
\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
\usepackage{isabelle,isabellesym}
% further packages required for unusual symbols (see also isabellesym.sty)

11
spec/abstract/document/root.tex
View File

@ -11,6 +11,17 @@
% LaTeX master document for abstract spec.
\documentclass[10pt,a4paper]{scrbook}
% These old font commands have been removed from newer versions of
% the scrbook document class, but isabelle.sty still uses them.
\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
\usepackage{isabelle,isabellesym}
% further packages required for unusual symbols (see also isabellesym.sty)