From 1ef887d4bd25e0731e4570a9e7324325fa3ebbc0 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 25 Jul 2006 13:31:06 +0000
Subject: [PATCH] Update CHANGELOG.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index db9bf327..39fe9075 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -2,6 +2,13 @@ This file contains details of the changes in each new version of PRISM,
 including development and beta versions. For a less detailed overview
 of the main changes in each public release, see the file VERSIONS.txt.
 
+New stuff:
+* multiple reward structures
+ - can be given names too
+ - accessed by R{i}=?[] or R{"name"}=?[ m/c
+ - simulation
+ - export
+
 -----------------------------------------------------------------------------
 Version 3.0 (6/7/2006) (svn rev 55)
 -----------------------------------------------------------------------------