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