diff options
| -rw-r--r-- | analyse.tex | 0 | ||||
| -rw-r--r-- | planning.tex | 0 | ||||
| -rw-r--r-- | werkstuk.tex | 39 |
3 files changed, 38 insertions, 1 deletions
diff --git a/analyse.tex b/analyse.tex new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/analyse.tex diff --git a/planning.tex b/planning.tex new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/planning.tex diff --git a/werkstuk.tex b/werkstuk.tex index aad78ef..dfa31d0 100644 --- a/werkstuk.tex +++ b/werkstuk.tex @@ -1,3 +1,39 @@ +% 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} + +\setlist{itemsep=0pt} + +% 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} + %&werkstuk % vim: set spelllang=nl: @@ -12,7 +48,8 @@ \input{intro} \input{def} \input{rules} - +\input{analyse} +\input{planning} \input{refs} \end{document} |