From 38335e4d6dbd067648ecf8cb7788b878695969ff Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 8 Jul 2015 13:50:59 +0000
Subject: [PATCH] Add library version info.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10248 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/lib/README.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 prism/lib/README.md

diff --git a/prism/lib/README.md b/prism/lib/README.md
new file mode 100644
index 00000000..c8f8db50
--- /dev/null
+++ b/prism/lib/README.md
@@ -0,0 +1,14 @@
+To simplify maintenance of scripts and config files, we mostly omit version numbers in the filenames of the various libraries included here. For reference, they are:
+
+* 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
+* jcommon.jar - JCommon, version 1.0.16
+* jfreechart.jar - JFreeChart, version 1.0.13
+* jhoafparser.jar - jhoafparser, version 1.1.0-rc3
+
+See here for more details and links:
+
+http://www.prismmodelchecker.org/other-downloads.php
+
+