diff options
author | Evi | 2016-04-29 16:40:12 +0200 |
---|---|---|
committer | Evi | 2016-04-29 16:40:12 +0200 |
commit | f8b14aa7bccd3deba80e8fa0be2cf7ca42213b86 (patch) | |
tree | 25f773944a88a158b700da1cfae99b1c3871444e | |
parent | quotify (diff) |
analyse + planning
analyse en planning toe gevoegd aan werkstuk en twee nieuwe documenten
voor de planning en analyse
-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} |