success with 4:)

[ar1516.git] / a2 / pre.tex

diff --git a/a2/pre.tex b/a2/pre.tex
index 5f0513c..7970698 100644 (file)
--- a/a2/pre.tex
+++ b/a2/pre.tex
@@ -5,9 +5,13 @@
 \usepackage{booktabs} % For nice tables
 \usepackage{enumerate} % For nice tables
 \usepackage{amsmath} % For nice tables
+\usepackage{listings} % For nice tables
+\usepackage{float} % For nice tables
 
 \everymath{\displaystyle}
 
+\lstset{keepspaces=true,captionpos=b,basicstyle=\ttfamily}
+
 \author{Mart Lubbers (s4109503)}
 \title{Automated reasoning Assignment 2} 
 \date{\today}