From 6ffafb37e64e929908e2b62e73591adeefd563db Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 24 Jun 2011 15:40:34 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3151 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/CHANGELOG.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt index eb1fc943..19a70180 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -11,6 +11,7 @@ Ongoing changes: * New version of explicit engine (including extra methods e.g. for MDPs) * Property names allowed, but mostly not used +* Testing mode ----------------------------------------------------------------------------- Version 4.0.beta2 (released 10/6/2011)