From 40bb39c89cea259b3020d27212c0edd7f2d419d9 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 13 Aug 2019 09:21:33 +0100
Subject: [PATCH] Moved loading of listings-package into lstisadof-manual.sty.

---
 .../Isabelle_DOF-Manual/document/lstisadof-manual.sty           | 2 ++
 .../technical_report/Isabelle_DOF-Manual/document/preamble.tex  | 2 --
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
index c46e2d54..00cb2464 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
@@ -1,3 +1,5 @@
+\usepackage{listings}
+\usepackage{listingsutf8}
 \usepackage{tikz}
 \usepackage[many]{tcolorbox}
 \tcbuselibrary{listings}
diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 638e3a69..abd6980e 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -22,8 +22,6 @@
 \usepackage{upquote}%
 \usepackage{textcomp}
 \usepackage{xcolor}
-\usepackage{listings}
-\usepackage{listingsutf8}
 \usepackage{lstisadof-manual}
 \usepackage{xspace}
 \usepackage{dtk-logos}