From 0d5d3774d2aa23b7b3f21e1b113f62b5f0fac99e Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 5 Feb 2020 17:35:06 +0100
Subject: [PATCH] changelog updated with pomdp changes

---
 CHANGELOG.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index de69b3b1d..da86c5d73 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -8,7 +8,9 @@ Version 1.4.x
 -------------
 
 ## Version 1.4.2 (under development)
-- n.a.
+- `storm-pomdp`: Only accept POMDPs that are canonical
+- `storm-pomdp`: Prism language extended with observable expressions
+- `storm-pomdp`: Various fixes that prevented usage.
 
 ### Version 1.4.1 (2019/12)
 - Implemented long run average (LRA) computation for DTMCs/CTMCs via value iteration and via gain/bias equations.