CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3320 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 68c65a560f
1 changed files with 3 additions and 0 deletions
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@ -5,6 +5,9 @@ of the main changes in each public release, see the file VERSIONS.txt.
 Latest changes (mostly reverse chronological):
 [correct wrt svn rev 3263]

+* Fixed anti-aliasing in GUI model editor
+* Better handling of undefined constants in properties
+
 Ongoing changes:

 * Properties can be named, by prefixing with "name":, and reference each other