From 7f5a1fa58d51340fd8ce7ce518023878e90d7bc8 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 18 May 2020 11:37:16 +0200
Subject: [PATCH] keyword and readme fix
---
README.md | 9 +++++++--
package.json | 4 ++--
2 files changed, 9 insertions(+), 4 deletions(-)
diff --git a/README.md b/README.md
index e9db2aa..e031c5a 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 4ac8908..6602f06 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": {
--
GitLab