From 990fa3bdcccc7fc6ece532a8949098aaef7d5f7c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 14 Dec 2009 12:44:58 +0000 Subject: [PATCH] CHANGELOG. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1639 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 d68fa64d..248eee84 100644 --- a/prism/CHANGELOG.txt +++ b/prism/CHANGELOG.txt @@ -9,7 +9,7 @@ Ongoing changes: * CTL model checking * New simulator * Adversary generation -* Access to action labels +* Access to action labels. inclusion in export, etc. Latest changes (reverse chronological): [correct wrt svn rev 1610]