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

Bug fix for older e-tex versions requireing reserveinsert.

This commit is contained in:
Achim D. Brucker 2020-01-14 17:46:56 +00:00
parent 2f8b79e0f1
commit 85af8bc3ed
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -14,7 +14,7 @@
%% This is a placeholder for user-specific configuration and packages.
\usepackage{etex}
\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{}
\ifdef{\reserveinserts}{\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}
\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{}
\ifdef{\reserveinserts}{\reserveinserts{28}}{}
\usepackage[many]{tcolorbox}
\usepackage{marginnote}