diff options
Diffstat (limited to 'preamble.tex')
-rw-r--r-- | preamble.tex | 41 |
1 files changed, 0 insertions, 41 deletions
diff --git a/preamble.tex b/preamble.tex deleted file mode 100644 index aae0f8c..0000000 --- a/preamble.tex +++ /dev/null @@ -1,41 +0,0 @@ -% vim: set spelllang=nl: -\documentclass[a4paper]{article} - -\title{De semantiek van Smurf} %todo working title -\author{Ward Theunisse, Evi Sijben en Camil Staps} - -% Standaard packages -\usepackage[hidelinks]{hyperref} -\usepackage[utf8]{inputenc} -\usepackage[dutch,shorthands=off]{babel} -\usepackage{geometry} - -% Taakspecifieke packages -\usepackage{amsmath} -\usepackage{amsthm} -\usepackage{enumitem} -\usepackage{prooftree} -\usepackage{stackrel} -\usepackage{syntax} -\usepackage{thmtools} - -% Eigen packages -\usepackage{smurf} - -% Settings, fixes -\setlist{itemsep=0pt} -\addto\extrasdutch{% - \renewcommand{\sectionautorefname}{Sectie} - \renewcommand{\subsectionautorefname}{Paragraaf} -} - -% Eigen commando's en environments, niet specifiek voor Smurf -\declaretheoremstyle[ - title=Voorbeeld, - parent=section, - spacebelow=1em, - preheadhook=\nobreak\noindent\hrulefill, - prefoothook=\vspace*{\dimexpr-\baselineskip+\topsep\relax}\endgraf\nobreak\noindent\hrulefill -]{lined} -\declaretheorem[style=lined]{exmp} - |