Verion number + release date in CHANGELOG.

prismmodelchecker · Apr 18, 2019 · 3f99181 · 3f99181
1 parent 66e766a
commit 3f99181
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/CHANGELOG.txt b/CHANGELOG.txt
@@ -1,7 +1,7 @@
 This file contains details of the changes in each new version of PRISM.
 
 -----------------------------------------------------------------------------
-Changes since version 4.4 (up-to-date wrt c0533b0b)
+Version 4.5 (first released 19/4/2019)
 -----------------------------------------------------------------------------
 
 * New features
@@ -40,7 +40,6 @@ Changes since version 4.4 (up-to-date wrt c0533b0b)
   - Makefile targets/settings: test, testsecho, testsfull, TESTS_ARGS, source-jar
   - NG_MAINCLASS setting for running PRISM in Nailgun server mode (prism -ng)
 
-
 -----------------------------------------------------------------------------
 Version 4.4 (first released 23/7/2017)
 -----------------------------------------------------------------------------