From 1aa8a3eb71f39c2e98d4432bb4c1e4f71a94cacd Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 25 May 2016 16:02:06 +0000 Subject: [PATCH] CHANGELOG update. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11364 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index b59cbe28..2fa0dd60 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -19,7 +19,9 @@ Recent changes: (up to svn rev 10687) Version 4.3.1 (first released 26/5/2015) ----------------------------------------------------------------------------- -* Bug fix for launch scripts on OS X (especially El Capitan) +* Bug fixes: +- launch scripts on OS X (especially El Capitan) +- lpsolve compile fix for recent Linux distributions ----------------------------------------------------------------------------- Version 4.3 (first released 14/7/2015)