From f03bde40f23be912639698a9bb6e392d3724ae58 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 30 Oct 2018 00:34:14 +0000
Subject: [PATCH] Load preamble (if exists).

---
 document-generator/document-template/root-scrreprt.tex | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/document-generator/document-template/root-scrreprt.tex b/document-generator/document-template/root-scrreprt.tex
index bbda4ba2..aae3979d 100644
--- a/document-generator/document-template/root-scrreprt.tex
+++ b/document-generator/document-template/root-scrreprt.tex
@@ -30,6 +30,11 @@
 \usepackage{amsmath}
 \usepackage{amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
+\input{ontologies}
+\IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
+\usepackage{xspace}
+\newcommand{\isadof}{Isabelle/DOF\xspace}
+\usepackage{graphicx}
 \usepackage{hyperref}
 \setcounter{tocdepth}{3} 
 \hypersetup{%