From 4bffc418c4e6b91245902dd39a7f98c0ff20ac62 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 9 Apr 2013 12:49:27 +0000
Subject: [PATCH] CHANGELOG.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6686 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 1f194fad..007ff911 100644
--- a/prism/CHANGELOG.txt
+++ b/prism/CHANGELOG.txt
@@ -32,6 +32,7 @@ Version 4.1 (beta released 20/12/2012)
 * Improvements to simulation path generation using -simpath switch
   - more efficient path generation (on-the-fly) where possible
   - new 'snapshot' option to only show states at certain time-points
+  - added 'probs' option to display transition probabilities/rates
   - rewards are not displayed by default; use 'rewards' option to show
   
 * Changes to usage of PRISM settings file