X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=exam.tex;h=6ef77e81a5aa212a1f05f8bd8bde226b849d0cb5;hb=175407c2b06242eca3a373fd6e75f8bb46bffa19;hp=0b961f11615665f01a058b97b9c567f805eac2f4;hpb=57996dda796c79396999b3a9ba29d9dc08c5d5db;p=mc1516the.git

diff --git a/exam.tex b/exam.tex
index 0b961f1..6ef77e8 100644
--- a/exam.tex
+++ b/exam.tex
@@ -1,8 +1,10 @@
-\documentclass{article}
+\documentclass[a4paper]{article}
 
-\usepackage[a4paper]{geometry}
+\usepackage{booktabs}
+\usepackage{geometry}
 \usepackage{graphicx}
 \usepackage{url}
+\usepackage{amsmath}
 
 \newcommand{\UPPAAL}{\textsc{UPPAAL}}
 \let\tt\texttt
@@ -11,10 +13,11 @@
 \DeclareGraphicsExtensions{.eps}
 
 \title{Timed automata and \UPPAAL}
-\author{Pim Jager\and{}Mart Lubbers}
+\author{Pim Jager\and Mart Lubbers}
 \date{\today}
 
 \begin{document}
+\maketitle
 \section*{First part}
 \input{first.tex}