Skip to content
Snippets Groups Projects
Commit 375582db authored by dgelessus's avatar dgelessus
Browse files

Bump version number to 2.2.0 because of settings rename

parent b5d570e9
No related branches found
No related tags found
No related merge requests found
Pipeline #131895 passed
......@@ -121,7 +121,7 @@
- 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
......
......@@ -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,7 +43,7 @@ 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
......
{
"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"
......
......@@ -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",
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment