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{%