-\documentclass{article}
+\documentclass[a4paper]{article}
-\usepackage[a4paper]{geometry}
+\usepackage{booktabs}
+\usepackage{geometry}
\usepackage{graphicx}
\usepackage{url}
\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}