nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Moved loading of listings-package into lstisadof-manual.sty.

This commit is contained in:
Achim D. Brucker 2019-08-13 09:21:33 +01:00
parent e2a752ab55
commit 40bb39c89c
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/lstisadof-manual.sty
View File

@ -1,3 +1,5 @@
\usepackage{listings}
\usepackage{listingsutf8}
\usepackage{tikz}
\usepackage[many]{tcolorbox}
\tcbuselibrary{listings}

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

@ -22,8 +22,6 @@
\usepackage{upquote}%
\usepackage{textcomp}
\usepackage{xcolor}
\usepackage{listings}
\usepackage{listingsutf8}
\usepackage{lstisadof-manual}
\usepackage{xspace}
\usepackage{dtk-logos}