repositories
/
mc1516the.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch 'master' of https://gitlab.science.ru.nl/mlubbers/mc1516the
[mc1516the.git]
/
exam.tex
diff --git
a/exam.tex
b/exam.tex
index
0b961f1
..
6ef77e8
100644
(file)
--- 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{graphicx}
\usepackage{url}
+\usepackage{amsmath}
\newcommand{\UPPAAL}{\textsc{UPPAAL}}
\let\tt\texttt
\newcommand{\UPPAAL}{\textsc{UPPAAL}}
\let\tt\texttt
@@
-11,10
+13,11
@@
\DeclareGraphicsExtensions{.eps}
\title{Timed automata and \UPPAAL}
\DeclareGraphicsExtensions{.eps}
\title{Timed automata and \UPPAAL}
-\author{Pim Jager\and
{}
Mart Lubbers}
+\author{Pim Jager\and
Mart Lubbers}
\date{\today}
\begin{document}
\date{\today}
\begin{document}
+\maketitle
\section*{First part}
\input{first.tex}
\section*{First part}
\input{first.tex}