From a21e9d4ca8ffb10f2574eb04850ffab5b7e238e0 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 27 Apr 2017 18:13:45 +0200
Subject: [PATCH] changelog

---
 CHANGELOG.md | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 CHANGELOG.md

diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
index 000000000..fd3cee683
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,21 @@
+Changelog
+==============
+
+This changelog lists only the most important changes. Smaller (bug)fixes as well as non-mature features are not part of the changelog.
+The releases of major and minor versions contain an overview of changes since the last major/minor update. 
+
+
+Version 1.0.x
+-------------------
+
+### Version 1.0.1 (2017/4)
+
+- Multi-objective model checking support now fully included
+- Several improvements in parameter lifting
+- Several improvements in JANI parsing
+- Properties can contain model variables
+- Export of version and configuration to cmake
+- Improved building process
+
+### Version 1.0.0 (2017/3)
+Start of this changelog