CHANGELOG update.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11364 bbc10eb1-c90d-0410-af57-cb519fbb1720
10 years ago · 1aa8a3eb71
1 changed files with 3 additions and 1 deletions
--- 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)