diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1e28d31c0513c0427ba85851dc3131c3cde49f61..d5031d4b54c880b3f8d2e98e16c61e3549c8e8a4 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 b7b0ce55c2def94f5d4d96339aa5f05da7674a55..e0f026c463c2f584d86ef45911c7560db93df1bb 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