diff --git a/README.md b/README.md index e9db2aac01bdf5ef32bc7ac261366fd6746e3b3d..e031c5ade9c208bb8fb108f377305c4f6f0b4fad 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # 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 @@ -37,4 +37,9 @@ This extension contributes the following settings: ### 0.0.2 -- Added option to set ProB path \ No newline at end of file +- Added option to set ProB path + + +### 0.0.3 + +- README fix \ No newline at end of file diff --git a/package.json b/package.json index 4ac8908522491c0dcb76a665481c4dd5c67385fe..6602f06517759ec2361d750d19e753ceeb618b38 100644 --- a/package.json +++ b/package.json @@ -17,10 +17,10 @@ "Programming Languages" ], "keywords": [ - "multi-root ready" + "multi-root ready", "B", "eventB", "proB" ], "activationEvents": [ - "onLanguage:plaintext" + "onLanguage:B", "onLanguage:eventB" ], "main": "./client/out/extension", "contributes": {