From 970a0accd367374c790e5637bb600e5143fccebb Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 10 Aug 2020 17:52:07 +0200
Subject: [PATCH] prepared v.1.0.0

---
 CHANGELOG.md |  8 +++++-
 README.md    | 75 +++++++---------------------------------------------
 2 files changed, 17 insertions(+), 66 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index fb8e7ce..402b917 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -66,4 +66,10 @@
 - added snippets
 - improved error feedback for failing call to probcli
 - improved error feedback for wrong format of the _error.json file
-- _error.json will now dumpend in a /tmp/ folder
\ No newline at end of file
+- _error.json will now dumpend in a /tmp/ folder
+
+
+## [1.0.0]
+
+- switched to Java Server and will be able to access ProB Kernel library.
+- server has no debug option and output
\ No newline at end of file
diff --git a/README.md b/README.md
index 757df35..9b0c1c6 100644
--- a/README.md
+++ b/README.md
@@ -11,6 +11,7 @@ Compiler support for B via ProB. You need a nightly build of ProB to fully use t
 ## Requirements
 
 - Latest nightly build of ProB.
+- Java v.11 or higher
 
 
 ## Extension Settings
@@ -21,81 +22,25 @@ This extension contributes the following settings:
 * `languageServer.wdChecks`: to enable/disable WD (Well-Definedness) Checks. Make sure to enable/disable for the current workspace too.
 * `languageServer.strictChecks`: to enable/disable stricter Checks. Make sure to enable/disable for the current workspace too.
 * `languageServer.performanceHints`: to enable/disable performance-related Hints. Make sure to enable/disable for the current workspace too.
+* `languageServer.debugMode`: to enable/disable the server log
 
-
-Please note that user settings overwrite workspace settings.
+To ensure expected behavior deactivate/activate settings in the User and Worksapce Tab.
 
 ## Bugs
 - please open an issue at https://github.com/SeeBasTStick/b-language-extension
 
+## Server
+The language server can be found here https://github.com/SeeBasTStick/b-language-server. 
+
 
 ## 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
-- Switch to Java Server
+- Compelation and Feedback via ProB Java kernel instead of cli calls. (will improve performance and give access to more features)
 
 ## Release Notes
 
+### 1.0.0
 
-### 0.0.1
-
-- First prototype minimum features
-
-### 0.0.2
-
-- Added option to set ProB path
-
-
-### 0.0.3
-
-- README fix
-
-
-### 0.0.4
-
-- fixed bug in the package.json file leading to unnoticed server crash
-- added feedback when using an unreachable path
-- added feedback when using a old version of proB
-
-
-### 0.1.0
-
-- added more sound auto compeltion
-- added WD cheks
-- added strict checks
-
-
-### 0.1.1
-
-- fixed issue where path was semi hard coded
-
-
-### 0.2.0
-
-- recognizes correct file ending (.mch; .def; .imp; .ref; .sys)
-- no longer activates extension on normal text documents
-
-
-### 0.3.0
-
-- added option for performance feedback
-- implemented 'info' as feedback type
-
-
-
-### 0.5.0
-
-- added syntax highlighting (big thanks to: https://github.com/wysiib/language-b-eventb)
-
-
-### 0.5.3
-
-- reworked error messages to be more managable
-
-
-### 0.6.0
-
-- added snippets
-- improved error feedback for failing call to probcli
-- improved error feedback for wrong format of the _error.json file
-- _error.json will now dumpend in a /tmp/ folder
\ No newline at end of file
+- switched to Java Server and will be able to access ProB Kernel library.
+- server has no debug option and output
\ No newline at end of file
-- 
GitLab