From f49848af4ee5e842e5adb5cc3ff9d0c9e83afbc3 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 20 Oct 2020 07:28:41 +0200
Subject: [PATCH] prepares update 2.0

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 818059e..a7d2437 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -91,4 +91,11 @@
 
 ## [1.1.2]
 
-- fixed bug where for longer outputs from probcli the system would not return causing a deadlook
\ No newline at end of file
+- fixed bug where for longer outputs from probcli the system would not return causing a deadlook
+
+
+## [2.0.0]
+
+- keyword support for new proB features: REAL, real, floor, ceiling
+- renamed settings from 'languageServer' to 'prob'
+- now uses prob2_kernel library instead of calling prob_cli direc; leads to noticable performance gain after initial warm up
\ No newline at end of file
diff --git a/README.md b/README.md
index 98ee5d2..18d92df 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,8 @@
 # b-language-extension README
 
-Compiler support for B via ProB. You don´t need your own version of proB, This plugin comes with one packed. You can however provide a proB version on your own, but be cautious; This can lead to unexpected and untested behavior.
+Compiler support for B via ProB. You don't need your own version of prob. This plugin comes with one packed. You can however provide a proB version on your own, but be cautious; This can lead to unexpected and untested behavior.
 
+In order to change prob_cli versions you need to make the change in the settings and restart the extension (open and close vscode).
 
 ## Features
 
@@ -17,11 +18,11 @@ Compiler support for B via ProB. You don´t need your own version of proB, This
 
 This extension contributes the following settings:
 
-* `proB.probHome`: to set the path to ProB
-* `proB.wdChecks`: to enable/disable WD (Well-Definedness) Checks. 
-* `proB.strictChecks`: to enable/disable stricter Checks. 
-* `proB.performanceHints`: to enable/disable performance-related Hints.
-* `proB.debugMode`: to enable/disable the server log
+* `prob.probHome`: to set the path to ProB. Default ist 'DEFAULT' and means that shipped version of prob ist used
+* `prob.wdChecks`: to enable/disable WD (Well-Definedness) Checks. 
+* `prob.strictChecks`: to enable/disable stricter Checks. 
+* `prob.performanceHints`: to enable/disable performance-related Hints.
+* `prob.debugMode`: to enable/disable the server log
 
 
 ## Bugs
@@ -41,4 +42,6 @@ The language server can be found here https://github.com/SeeBasTStick/b-language
 
 ### 2.0.0
 
-- know uses the java prob kernel for drastic performance gain
\ No newline at end of file
+- keyword support for new proB features: REAL, real, floor, ceiling
+- renamed settings from 'languageserver' to 'prob'
+- now uses prob2_kernel library instead of calling prob_cli direc; leads to noticable performance gain after initial warm up
\ No newline at end of file
-- 
GitLab