From b30cae0d6d52ee66f9f0f5b5b1a9791f9d1af978 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 2 Jan 2019 17:54:29 +0100
Subject: [PATCH] Updated CHANGELOG

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 7616f40..ce1c4a0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,7 +4,7 @@ Changelog
 Version 1.3.x
 -------------
 
-### Version 1.3.0 (2018/12)
+### Version 1.3.0 (2019/01)
 Requires storm version >= 1.3.0 and pycarl version >= 2.0.2
 - Adaptions to changes in Storm
 - Bindings for symbolic models:
@@ -18,6 +18,7 @@ Requires storm version >= 1.3.0 and pycarl version >= 2.0.2
 - Extended PLA bindings
 - Extended DFT bindings
 - Extended documentation
+- Improved and extended setup
 
 Version 1.2.x
 -------------