From 054a88e269bf444b79543c798982ceb9bd50765a Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Wed, 27 May 2020 15:00:13 +0200
Subject: [PATCH] readme and changelog fix

---
 CHANGELOG.md | 8 ++++++--
 README.md    | 2 +-
 2 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index ea638bb..9f614f8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -43,6 +43,10 @@
 - implemented 'info' as feedback type
 
 
-## [0.4.0]
+## [0.5.0]
 
-- added syntax highlighting
\ No newline at end of file
+- added syntax highlighting
+
+## [0.5.1]
+
+- minor fixes
\ No newline at end of file
diff --git a/README.md b/README.md
index 7cbc343..c343456 100644
--- a/README.md
+++ b/README.md
@@ -83,6 +83,6 @@ Please note that user settings overwrite workspace settings.
 
 
 
-### 0.4.0
+### 0.5.0
 
 - added syntax highlighting (big thanks to: https://github.com/wysiib/language-b-eventb)
\ No newline at end of file
-- 
GitLab