a14 af

[master.git] / ar / assignments / preamble.tex

diff --git a/ar/assignments/preamble.tex b/ar/assignments/preamble.tex
index 477b06f..7fde354 100644 (file)
--- a/ar/assignments/preamble.tex
+++ b/ar/assignments/preamble.tex
@@ -2,9 +2,25 @@
 
 \usepackage{a4wide}
 \usepackage{bm}
+\usepackage{amsmath}
+\usepackage{listings}
 
 \everymath{\displaystyle}
 
+\lstset{%
+  basicstyle=\footnotesize,
+  breakatwhitespace=true,
+  breaklines=true,
+  keepspaces=true,
+  numbers=left,
+  numberstyle=\tiny,
+  frame=L,
+  showspaces=false,
+  showstringspaces=false,
+  showtabs=false,
+  tabsize=2
+}
+
 \author{Mart Lubbers (s4109503)}
 \title{Automated reasoning Assignment 1} 
 \date{\today}