From 2b2826a83f9426fa2c34ffe153a60f2ce1859442 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 13 Aug 2019 09:32:15 +0100
Subject: [PATCH] Removed no longer required packages.

---
 .../technical_report/Isabelle_DOF-Manual/document/preamble.tex | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 9eecbee..8638c69 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -18,14 +18,11 @@
 
 \usepackage{dirtree}
 \renewcommand*\DTstylecomment{\ttfamily\itshape}
-\usepackage{upquote}%
 \usepackage{textcomp}
 \usepackage{xcolor}
 \usepackage{lstisadof-manual}
 \usepackage{xspace}
 \usepackage{dtk-logos}
-\usepackage[caption]{subfig}
-\usepackage[size=footnotesize]{caption}
 \usepackage{railsetup}
 \setcounter{secnumdepth}{2}
 \usepackage{index}