X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=report1%2Fpre.tex;h=81e71df4dbcb8529f75c8e3de02e68c519d4ff14;hb=a37ac89caecc944dfaeea5bd6501fc7252437541;hp=76bc837642b59ce7fdb8c2b87919d621d573cffc;hpb=39c4af4feed8a541f6976b2314620e4f5e0801c3;p=mc1516pa.git

diff --git a/report1/pre.tex b/report1/pre.tex
index 76bc837..81e71df 100644
--- a/report1/pre.tex
+++ b/report1/pre.tex
@@ -1,7 +1,15 @@
 \documentclass{article}
 
 \usepackage{a4wide}
+\usepackage{amsmath}
+\usepackage{amssymb}
+\usepackage{listings}
 
-\title{Solving Sokoban with NuSMV}
-\author{Alexander Fedotov(s4460952)\and Mart Lubbers(s4109503)}
+\lstset{%
+	breaklines,
+	basicstyle=\scriptsize
+}
+
+\title{Solving Sokoban with \textsc{NuSMV}}
+\author{Alexander Fedotov (s4460952)\and Mart Lubbers (s4109503)}
 \date{\today}