X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=exam.tex;h=6ef77e81a5aa212a1f05f8bd8bde226b849d0cb5;hb=175407c2b06242eca3a373fd6e75f8bb46bffa19;hp=331d5d9b23103487468c91f9e6227f9cec2e5234;hpb=02f744ac32db57838cf238be0fbb2e5f05b70861;p=mc1516the.git

diff --git a/exam.tex b/exam.tex
index 331d5d9..6ef77e8 100644
--- a/exam.tex
+++ b/exam.tex
@@ -1,19 +1,23 @@
-\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
 
 \graphicspath{{img/}}
 \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}