More library info.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10249 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/lib/README.md

@@ -3,6 +3,7 @@ To simplify maintenance of scripts and config files, we mostly omit version numb
 * colt.jar - Colt version 1.2.0
 * epsgraphics.jar - EPS Graphics version 1.0.0
 * jas.jar - Java Algebra System (JAS) version 2.5.5246
+* log4j.jar - Apache log4j (dependency of JAS)
 * jcommon.jar - JCommon, version 1.0.16
 * jfreechart.jar - JFreeChart, version 1.0.13
 * jhoafparser.jar - jhoafparser, version 1.1.0-rc3