repositories
/
master.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
a401ca6b1b2a18a443dcfe4bbcd049295e01336e
[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
\usepackage
{
nicefrac
}
11
12
\everymath
{
\displaystyle\allowdisplaybreaks
}
13
14
\lstset
{
%
15
basicstyle=
\scriptsize
,
16
breakatwhitespace=true,
17
breaklines=true,
18
keepspaces=true,
19
numbers=left,
20
numberstyle=
\tiny
,
21
frame=L,
22
showspaces=false,
23
showstringspaces=false,
24
showtabs=false,
25
tabsize=
2
26
}
27
28
\author
{
Mart Lubbers (s4109503)
}
29
\title
{
Automated reasoning Assignment
1
}
30
\date
{
\today
}