From 03b1d23e93cd624499abb959aa96b4d0e2a2c3a3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 8 Jul 2015 13:53:41 +0000 Subject: [PATCH] More library info. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10249 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/lib/README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/lib/README.md b/prism/lib/README.md index c8f8db50..ad789b86 100644 --- a/prism/lib/README.md +++ b/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