CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3515 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · fd826a5d93
1 changed files with 1 additions and 1 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -8,12 +8,12 @@ Latest changes (mostly reverse chronological):
 * Fixed anti-aliasing in GUI model editor
 * Better handling of undefined constants in properties
 * Added -exportprodtrans and -exportprodstates switches
+* More improvements to explicit engine
 * Bug fixes

 Ongoing changes:

 * Properties can be named, by prefixing with "name":, and reference each other
-* More improvements to explicit engine
 * CTL AG/EF

 -----------------------------------------------------------------------------