exam.tex

   1 \documentclass{article}
   2
   3 \usepackage[a4paper]{geometry}
   4 \usepackage{graphicx}
   5 \usepackage{url}
   6
   7 \newcommand{\UPPAAL}{\textsc{UPPAAL}}
   8 \let\tt\texttt
   9
  10 \graphicspath{{img/}}
  11 \DeclareGraphicsExtensions{.eps}
  12
  13 \title{Timed automata and \UPPAAL}
  14 \author{Pim Jager\and{}Mart Lubbers}
  15 \date{\today}
  16
  17 \begin{document}
  18 \section*{First part}
  19 \input{first.tex}
  20
  21 \section*{Second part}
  22 \input{second.tex}
  23
  24 \section*{Third part}
  25 \input{third.tex}
  26
  27 \end{document}