update, now final

[ar1516.git] / README.md

diff --git a/README.md b/README.md
index 920fe51..ca09431 100644 (file)
--- a/README.md
+++ b/README.md
@@ -6,7 +6,6 @@ Automated Reasoning 2015
        - hyperref
        - a4wide
        - float
-       - graphicx
        - amsmath
        - listings
        - nicefrac
@@ -14,6 +13,7 @@ Automated Reasoning 2015
 - Yices
 - Bash
 - Python3
+- Make
 
 ###Licence