diff --git a/CHANGELOG.md b/CHANGELOG.md
index ea638bbb8b1dc0e527ab36a015db5865c3665f3b..9f614f88fbd5432cb9d536212397d118d1f2957f 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 7cbc34328c08178e7478f5e0e738e869e3e32a21..c34345633b3499ee46233745770bbdbb0477bf9f 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