From 68c65a560fa9c2d1a9e4ab45a2de60112ec2af6c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 25 Jul 2011 10:53:04 +0000
Subject: [PATCH] CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3320 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/CHANGELOG.txt | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 1f5727de..241720dd 100644
--- 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