From 5b790d8416fd97e7343dd0f8e7de64cd7b8c0e76 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Thu, 4 Jun 2020 09:55:41 +0200
Subject: [PATCH] adjusted changelog and readme to new version

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1e28d31..d5031d4 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -53,4 +53,9 @@
 
 ## [0.5.2]
 
-- media fixes
\ No newline at end of file
+- media fixes
+
+
+## [0.5.3]
+
+- reworked error messages to be more managable
\ No newline at end of file
diff --git a/README.md b/README.md
index b7b0ce5..e0f026c 100644
--- a/README.md
+++ b/README.md
@@ -32,6 +32,7 @@ Please note that user settings overwrite workspace settings.
 ## Future plans
 - Linter Support (via Server, is still in development by Mircosoft https://microsoft.github.io/language-server-protocol/specifications/specification-3-16/)
 - Quickfix support aká Code Completion
+- Add feedback of failing prob cli to output
 
 
 ## Release Notes
@@ -85,4 +86,9 @@ Please note that user settings overwrite workspace settings.
 
 ### 0.5.0
 
-- added syntax highlighting (big thanks to: https://github.com/wysiib/language-b-eventb)
\ No newline at end of file
+- added syntax highlighting (big thanks to: https://github.com/wysiib/language-b-eventb)
+
+
+### 0.5.3
+
+- reworked error messages to be more managable
\ No newline at end of file
-- 
GitLab