blob: ce5a946bb4b6eebe34250ab0f9724326bbddbf61 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
% 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]{babel}
\usepackage{geometry}
% Taakspecifieke packages
\usepackage{amsmath}
\usepackage{prooftree}
\usepackage{stackrel}
\usepackage{syntax}
% Eigen packages
\usepackage{smurf}
|