CHANGELOG.

prismmodelchecker · May 21, 2020 · d2bf3bb · d2bf3bb
1 parent 78da213
commit d2bf3bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CHANGELOG.txt b/CHANGELOG.txt
@@ -2,7 +2,7 @@ The top of this file details the changes in new public versions of PRISM-games.
 The CHANGELOG for PRISM itself, on which this is based, is appended below.
 
 -----------------------------------------------------------------------------
-Version 3.0 (beta first released 31/1/2020)
+Version 3.0 (first released 31/1/2020)
 -----------------------------------------------------------------------------
 
 * Support for concurrent stochastic games (CSGs)