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 ???]