almost finished my bit

[mc1516pa.git] / report1 / pre.tex

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