From 786797c4674bc7e890d4a55033a8252d9a0d844e Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 14 Jul 2015 10:15:43 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10290 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index 4e4e5664..9e587524 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -1,7 +1,7 @@ This file contains details of the changes in each new version of PRISM. ----------------------------------------------------------------------------- -Version 4.3 (first released ???) +Version 4.3 (first released 14/7/2015) ----------------------------------------------------------------------------- * Support for external LTL-to-automata converters via the HOA format