repositories
/
master.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
93b06ec1dcc69be017741a05d310e1c0f89ce709
[master.git]
/
ar
/
assignments
/
preamble.tex
1
\documentclass
{
article
}
2
3
\usepackage
{
hyperref
}
4
\usepackage
{
a4wide
}
5
\usepackage
{
bm
}
6
\usepackage
{
float
}
7
\usepackage
{
graphicx
}
8
\usepackage
{
amsmath
}
9
\usepackage
{
listings
}
10
11
\everymath
{
\displaystyle
}
12
13
\lstset
{
%
14
basicstyle=
\scriptsize
,
15
breakatwhitespace=true,
16
breaklines=true,
17
keepspaces=true,
18
numbers=left,
19
numberstyle=
\tiny
,
20
frame=L,
21
showspaces=false,
22
showstringspaces=false,
23
showtabs=false,
24
tabsize=
2
25
}
26
27
\author
{
Mart Lubbers (s4109503)
}
28
\title
{
Automated reasoning Assignment
1
}
29
\date
{
\today
}