pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Added graphicx package.

This commit is contained in:
Achim D. Brucker 2018-06-27 09:16:37 +02:00
parent c857160f04
commit bf7328c27c
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
document-generator/latex/DOF-core.sty
View File

@ -17,6 +17,7 @@
Document-Type Support Framework for Isabelle.]
\RequirePackage{keycommand}
\RequirePackage{graphicx}
\RequirePackage{fp}
\newkeycommand\isaDofChapter[label=,type=][1]{%