From: Mart Lubbers <mart@martlubbers.net>
Date: Tue, 27 Oct 2015 07:47:02 +0000 (+0100)
Subject: update README typo
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=38fa43beab8e010d1482538281bb80dd3da38f23;p=ar1516.git

update README typo
---

diff --git a/README.md b/README.md
index ca09431..098c5f8 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 Automated Reasoning 2015
 ========================
 
-###Required latex packages for building the report.
+###Required software and libraries to build the report.
 - Latex packages:
 	- hyperref
 	- a4wide
@@ -17,7 +17,9 @@ Automated Reasoning 2015
 
 ###Licence
 
+```
 You are allowed to do anything you want with it except for handing this, or
 parts of it, in as a solution for the Automated Reasoning course 2015 at the
 Radboud University Nijmegen or the Automated Reasoning course 2015 at the
 Eindhoven University of Technology 
+```