forked from Isabelle_DOF/Isabelle_DOF
Include preamble.
This commit is contained in:
parent
35a0a27c1d
commit
b8d4d29ad7
|
@ -30,6 +30,11 @@
|
||||||
\usepackage{amsmath}
|
\usepackage{amsmath}
|
||||||
\usepackage{amssymb}
|
\usepackage{amssymb}
|
||||||
\usepackage[numbers, sort&compress, sectionbib]{natbib}
|
\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}
|
\usepackage{hyperref}
|
||||||
\setcounter{tocdepth}{3}
|
\setcounter{tocdepth}{3}
|
||||||
\hypersetup{%
|
\hypersetup{%
|
||||||
|
|
Reference in New Issue