update requirements

diff --git a/README.md b/README.md
index ed55c97..920fe51 100644 (file)
--- 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