Skip to content
Snippets Groups Projects
Commit 7f5a1fa5 authored by SeeBasTStick's avatar SeeBasTStick
Browse files

keyword and readme fix

parent 83b76300
No related branches found
No related tags found
No related merge requests found
# b-eventb-language-extension README # b-eventb-language-extension README
Compiler support for b/eventb via ProB. You need a build a version of ProB downloaded to use fully use this extension. Visit https://www3.hhu.de/stups/prob/ to get the latest version. Compiler support for b/eventb via ProB. You need a nightly build of ProB to fully use this extension. Visit https://www3.hhu.de/stups/prob/ to get the latest version.
## Features ## Features
...@@ -38,3 +38,8 @@ This extension contributes the following settings: ...@@ -38,3 +38,8 @@ This extension contributes the following settings:
### 0.0.2 ### 0.0.2
- Added option to set ProB path - Added option to set ProB path
### 0.0.3
- README fix
\ No newline at end of file
...@@ -17,10 +17,10 @@ ...@@ -17,10 +17,10 @@
"Programming Languages" "Programming Languages"
], ],
"keywords": [ "keywords": [
"multi-root ready" "multi-root ready", "B", "eventB", "proB"
], ],
"activationEvents": [ "activationEvents": [
"onLanguage:plaintext" "onLanguage:B", "onLanguage:eventB"
], ],
"main": "./client/out/extension", "main": "./client/out/extension",
"contributes": { "contributes": {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment