update spellcheck

[ar1516.git] / a2 / pre.tex

diff --git a/a2/pre.tex b/a2/pre.tex
index cd9af74..db9947a 100644 (file)
--- a/a2/pre.tex
+++ b/a2/pre.tex
@@ -1,12 +1,12 @@
 \documentclass{article}
 
-\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
-\usepackage{listings} % For nice tables
-\usepackage{float} % For nice tables
+\usepackage{hyperref}
+\usepackage{a4wide}
+\usepackage{booktabs}
+\usepackage{enumerate}
+\usepackage{amsmath}
+\usepackage{listings}
+\usepackage{float}
 \usepackage{graphicx}
 \usepackage{xypic}
 \usepackage{multirow}
@@ -15,9 +15,8 @@
 
 \lstset{keepspaces=true,captionpos=b,basicstyle=\scriptsize\ttfamily}
 
-\CompileMatrices%
-
+\CompileMatrices
 
 \author{Mart Lubbers (s4109503)}
-\title{Automated reasoning Assignment 2} 
+\title{Automated reasoning Assignment $2$} 
 \date{\today}