From dafac2cd153dfb18502e3a435adad143b376d5fe Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 26 Oct 2015 16:43:19 +0100
Subject: [PATCH] update requirements

---
 README.md | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

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
 
-- 
2.20.1