From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 26 Oct 2015 15:43:19 +0000 (+0100)
Subject: update requirements
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=dafac2cd153dfb18502e3a435adad143b376d5fe;p=ar1516.git

update requirements
---

diff --git a/README.md b/README.md
index ed55c97..920fe51 100644
--- a/README.md
+++ b/README.md
@@ -2,15 +2,18 @@ Automated Reasoning 2015
 ========================
 
 ###Required latex packages for building the report.
-
-- hyperref
-- a4wide
-- float
-- graphicx
-- amsmath
-- listings
-- nicefrac
-- booktabs
+- Latex packages:
+	- hyperref
+	- a4wide
+	- float
+	- graphicx
+	- amsmath
+	- listings
+	- nicefrac
+	- booktabs
+- Yices
+- Bash
+- Python3
 
 ###Licence