From 7146fc3dc6058b5b826a7e7b8d462fad6f7edc6d Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 8 Dec 2009 10:44:55 +0000
Subject: [PATCH] CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1609 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 3b1215f9..faecc839 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -9,6 +9,7 @@ Ongoing changes:
 * CTL model checking
 * New simulator
 * Adversary generation
+* Access to action labels
 
 Latest changes (reverse chronological):
 [correct wrt svn rev ???]