From 38fa43beab8e010d1482538281bb80dd3da38f23 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Tue, 27 Oct 2015 08:47:02 +0100 Subject: [PATCH] update README typo --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 +``` -- 2.20.1