Updated root.tex to latest version.

This commit is contained in:
Achim D. Brucker 2018-06-29 10:21:00 +02:00
parent b8d4d29ad7
commit 86653eff41
1 changed files with 5 additions and 0 deletions

View File

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