2 solved

[ar1516.git] / a2 / pre.tex

diff --git a/a2/pre.tex b/a2/pre.tex
index 839423e..5f0513c 100644 (file)
--- a/a2/pre.tex
+++ b/a2/pre.tex
@@ -1,27 +1,12 @@
 \documentclass{article}
 
-\usepackage{hyperref}  % For clickable links
-\usepackage{a4wide}    % For better page usage
-\usepackage{float}     % For better placement of tables/figures
-\usepackage{amsmath}   % For align
-\usepackage{listings}  % For code snippets
-\usepackage{booktabs}  % For nice tables
+\usepackage{hyperref} % For clickable links
+\usepackage{a4wide} % For better page usage
+\usepackage{booktabs} % For nice tables
+\usepackage{enumerate} % For nice tables
+\usepackage{amsmath} % For nice tables
 
-\everymath{\displaystyle\allowdisplaybreaks}
-
-\lstset{%
-  basicstyle=\scriptsize,
-  breakatwhitespace=true,
-  breaklines=true,
-  keepspaces=true,
-  numbers=left,
-  numberstyle=\tiny,
-  frame=L,
-  showspaces=false,
-  showstringspaces=false,
-  showtabs=false,
-  tabsize=2
-}
+\everymath{\displaystyle}
 
 \author{Mart Lubbers (s4109503)}
 \title{Automated reasoning Assignment 2}