From 6b8be0c61a39bc08fa90f1a71915c17e0b5a1561 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 11 Nov 2013 16:13:29 +0000
Subject: [PATCH] Update CHANGELOG.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index 2b877d1a..06bf3adf 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -2,9 +2,12 @@ This file contains details of the changes in each new version of PRISM.
 
 New since last release:
 
+* Additional graph zoom functionality on popup menu
+* Added R[C<=k] operator for MDPs (sparse, explicit)
 * Additional functionality in explicit engine
   - export BSCCs, some LTL
-* New -exportmecs switch
+* New -exportmecs and -exportsccs switches
+* New -sumroundoff switch (used when checking probabilities sum to 1)
 * Update CUDD to version 2.5.0
 * Strategy generation:
   - improvements in explicit engine implementation