update README typo
authorMart Lubbers <mart@martlubbers.net>
Tue, 27 Oct 2015 07:47:02 +0000 (08:47 +0100)
committerMart Lubbers <mart@martlubbers.net>
Tue, 27 Oct 2015 07:47:02 +0000 (08:47 +0100)
README.md

index ca09431..098c5f8 100644 (file)
--- 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 
+```