blob: 3f6c165a60822ea43b6c3c29a6be4d04095d3645 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
% 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}
% Fix voor babel dutch
\everymath{\shorthandoff{"}}
|
