From f8b14aa7bccd3deba80e8fa0be2cf7ca42213b86 Mon Sep 17 00:00:00 2001 From: Evi Date: Fri, 29 Apr 2016 16:40:12 +0200 Subject: analyse + planning analyse en planning toe gevoegd aan werkstuk en twee nieuwe documenten voor de planning en analyse --- analyse.tex | 0 planning.tex | 0 werkstuk.tex | 39 ++++++++++++++++++++++++++++++++++++++- 3 files changed, 38 insertions(+), 1 deletion(-) create mode 100644 analyse.tex create mode 100644 planning.tex diff --git a/analyse.tex b/analyse.tex new file mode 100644 index 0000000..e69de29 diff --git a/planning.tex b/planning.tex new file mode 100644 index 0000000..e69de29 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} -- cgit v1.2.3