CHANGELOG.md

@@ -121,8 +121,9 @@
 - Now requires VSCode 1.67
 - Optimized dependencies
 
-## 2.1.1 (not released yet)
+## 2.2.0 (not released yet)
 
 - Updated to ProB 1.13.0
 - Updated keywords for B rules machines
+- Changed settings prefixes from `languageServer` and `common` to `prob` - this will reset existing settings, but avoids conflicts with other extensions
 - Fixed and expanded snippets for B relation/function operators
\ No newline at end of file

README.md

@@ -33,8 +33,8 @@ The language server can be found here https://github.com/hhu-stups/b-language-ex
 
 ## Installation on VSCodium
 
-You can also install the plugin in [VSCodium](https://vscodium.com) by downloading the artefact (b-language-extension-2.1.1.vsix) and typing
- codium --install-extension b-language-extension-2.1.1.vsix 
+You can also install the plugin in [VSCodium](https://vscodium.com) by downloading the artefact (b-language-extension-\<VERSION>.vsix) and typing
+ codium --install-extension b-language-extension-\<VERSION>.vsix 
 
 ## Future plans
 - Quickfix support aka Code Completion
@@ -43,10 +43,11 @@ You can also install the plugin in [VSCodium](https://vscodium.com) by downloadi
 
 ## Release Notes
 
-### 2.1.1
+### 2.2.0
 
 - Updated to ProB 1.13.0
 - Updated keywords for B rules machines
+- Changed settings prefixes from `languageServer` and `common` to `prob` - this will reset existing settings, but avoids conflicts with other extensions
 - Fixed and expanded snippets for B relation/function operators
 
 ## Acknowledgements

package-lock.json

 {
 	"name": "b-language-extension",
-	"version": "2.1.1",
+	"version": "2.2.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "b-language-extension",
-			"version": "2.1.1",
+			"version": "2.2.0",
 			"license": "EPL-2.0",
 			"dependencies": {
 				"vscode-languageclient": "^8.1.0"

package.json

@@ -2,7 +2,7 @@
 	"name": "b-language-extension",
 	"displayName": "B/ProB Language Support",
 	"description": "Compiler and language support for B via ProB",
-	"version": "2.1.1",
+	"version": "2.2.0",
 	"publisher": "SeeBasTStick",
 	"icon": "media/prob2-ui.png",
 	"author": "Sebastian Stock",
@@ -46,7 +46,7 @@
 					"scope": "application",
 					"type": "boolean",
 					"default": true,
-					"description": "Option for WD Checks"
+					"description": "Option for WD checks"
 				},
 				"prob.strictChecks": {
 					"id": "3",
@@ -54,7 +54,7 @@
 					"scope": "application",
 					"type": "boolean",
 					"default": true,
-					"description": "Option for stricter Checks"
+					"description": "Option for stricter checks"
 				},
 				"prob.performanceHints": {
 					"id": "4",
@@ -62,7 +62,7 @@
 					"scope": "application",
 					"type": "boolean",
 					"default": true,
-					"description": "Option for performance-related Hints"
+					"description": "Option for performance-related hints"
 				},
 				"prob.debugMode": {
 					"id": "5",
@@ -70,7 +70,7 @@
 					"scope": "application",
 					"type": "boolean",
 					"default": false,
-					"description": "Option for enabling (extensiv) debug messages"
+					"description": "Option for enabling (extensive) debug messages"
 				},
 				"prob.javaHome": {
 					"id": "6",
@@ -78,7 +78,7 @@
 					"scope": "application",
 					"type": "string",
 					"default": "java",
-					"description": "Points to the java sdk responsible for executing the language server"
+					"description": "Points to the java executable responsible for executing the language server"
 				}
 			}
 		},