Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

\reserveinserts{} is only needed for older TeX installations and no longer supported on recent TeX versions.

This commit is contained in:
Achim D. Brucker 2019-12-11 15:52:57 +00:00
parent 1de920a19c
commit 0ad18b9e5b
2 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
View File

@ -14,8 +14,7 @@
%% This is a placeholder for user-specific configuration and packages.
\usepackage{etex}
\reserveinserts{28}
\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{}
\usepackage{dirtree}
\renewcommand*\DTstylecomment{\ttfamily\itshape}
\usepackage{textcomp}

2
src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
View File

@ -19,7 +19,7 @@
\RequirePackage{DOF-COL}
\usepackage{etex}
\reserveinserts{28}
\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{}
\usepackage[many]{tcolorbox}
\usepackage{marginnote}