From 549c74e2863ff4cfe98e96551437dd2741f60d0a Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Wed, 15 Jul 2020 12:36:00 +0200
Subject: [PATCH] documentation maintenance

---
 CHANGELOG.md | 12 +++++++++++-
 README.md    |  9 +++++++--
 2 files changed, 18 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1f73062..f2938d4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -77,4 +77,14 @@
 
 ## [0.6.4]
 
-- fixed bug where sometimes changes lead to wrong represantation of mistakes
\ No newline at end of file
+- fixed bug where sometimes changes lead to wrong represantation of mistakes
+
+
+## [0.6.5]
+
+- small spelling fixes
+
+
+## [0.6.6]
+
+- markers in files without problems are now resettet properly
\ No newline at end of file
diff --git a/README.md b/README.md
index 1122143..a33869a 100644
--- a/README.md
+++ b/README.md
@@ -10,7 +10,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t
 
 ## Requirements
 
-- Latest nightly build of ProB.
+- Latest nightly build of ProB. You can use older builds but be aware that things can break without notice.
 
 
 ## Extension Settings
@@ -109,4 +109,9 @@ Please note that user settings overwrite workspace settings.
 
 ### 0.6.4
 
-- fixed bug where sometimes changes lead to wrong represantation of mistakes
\ No newline at end of file
+- fixed bug where sometimes changes lead to wrong represantation of mistakes
+
+
+### [0.6.6]
+
+- markers in files without problems are now resettet properly
\ No newline at end of file
-- 
GitLab