diff --git a/CHANGELOG.md b/CHANGELOG.md index 5caac707dfca276f661539e52bfddaf35e7394e3..fbf6f0b81c722bae3770e49364691340f36f2565 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -121,9 +121,13 @@ - Now requires VSCode 1.67 - Optimized dependencies -## 2.2.0 (not released yet) +## 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 \ No newline at end of file +- Fixed and expanded snippets for B relation/function operators + +## 2.2.1 (not released yet) + +- (no changes yet) \ No newline at end of file diff --git a/README.md b/README.md index 73f2cfa9151cc5dd2f660581355f796917f446b2..269229f4fd8fc9b44b946f17e445435a91c00fc2 100644 --- a/README.md +++ b/README.md @@ -43,12 +43,9 @@ You can also install the plugin in [VSCodium](https://vscodium.com) by downloadi ## Release Notes -### 2.2.0 +### 2.2.1 -- 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 changes yet) ## Acknowledgements diff --git a/package-lock.json b/package-lock.json index 7fff8fc437aeec3191b08a9780815dbdfdad714f..bc5ba499a633a44fb518cde7d4b4188daf940d84 100644 --- a/package-lock.json +++ b/package-lock.json @@ -1,12 +1,12 @@ { "name": "b-language-extension", - "version": "2.2.0", + "version": "2.2.1", "lockfileVersion": 3, "requires": true, "packages": { "": { "name": "b-language-extension", - "version": "2.2.0", + "version": "2.2.1", "license": "EPL-2.0", "dependencies": { "vscode-languageclient": "^8.1.0" diff --git a/package.json b/package.json index daab27a41edc2370770dde3634e780069363bd4e..f588a6754bbab18f845f65b5482d6ab2cf3b2672 100644 --- a/package.json +++ b/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.2.0", + "version": "2.2.1", "publisher": "SeeBasTStick", "icon": "media/prob2-ui.png", "author": "Sebastian Stock",