Merge branch 'master' of github.com:dopefishh/mc1516pa

[mc1516pa.git] / report1 / pre.tex

diff --git a/report1/pre.tex b/report1/pre.tex
index 76bc837..81e71df 100644 (file)
--- 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}