From b319fa19b9c77810a944421e39e7339f9c5ecd7c Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 19 Mar 2008 17:03:43 +0000
Subject: [PATCH] CHANGELOG.

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

diff --git a/prism/CHANGELOG.txt b/prism/CHANGELOG.txt
index cfa9073c..0210a80f 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -6,6 +6,7 @@ of the main changes in each public release, see the file VERSIONS.txt.
 
 Latest changes (reverse chronological):
 
+* Added weak until (W) and release (R) to properties language
 * Easier viewing of model checking results in GUI
 * Steady-state properties/operators for DTMCs
 * GUI model editor: line numbers, undo