repositories
/
mc1516the.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mc1516the
[mc1516the.git]
/
exam.tex
1
\documentclass
[
a4paper
]{
article
}
2
3
\usepackage
{
booktabs
}
4
\usepackage
{
geometry
}
5
\usepackage
{
graphicx
}
6
\usepackage
{
url
}
7
\usepackage
{
amsmath
}
8
9
\newcommand
{
\UPPAAL
}{
\textsc
{
UPPAAL
}}
10
\let\tt\texttt
11
12
\graphicspath
{{
img/
}}
13
\DeclareGraphicsExtensions
{
.eps
}
14
15
\title
{
Timed automata and
\UPPAAL
}
16
\author
{
Pim Jager
\and
Mart Lubbers
}
17
\date
{
\today
}
18
19
\begin
{
document
}
20
\maketitle
21
\section
*
{
First part
}
22
\input
{
first.tex
}
23
24
\section
*
{
Second part
}
25
\input
{
second.tex
}
26
27
\section
*
{
Third part
}
28
\input
{
third.tex
}
29
30
\end
{
document
}