From 0877896d8d4d2dab035522578481094c4018c2fe Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 18 May 2020 11:37:21 +0200
Subject: [PATCH] 0.0.3
---
package-lock.json | 2 +-
package.json | 10 +++++++---
2 files changed, 8 insertions(+), 4 deletions(-)
diff --git a/package-lock.json b/package-lock.json
index 98b9a2c..51249fe 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
{
"name": "b-eventb",
- "version": "0.0.2",
+ "version": "0.0.3",
"lockfileVersion": 1,
"requires": true,
"dependencies": {
diff --git a/package.json b/package.json
index 6602f06..ca1c01c 100644
--- a/package.json
+++ b/package.json
@@ -2,7 +2,7 @@
"name": "b-eventb-language-extension",
"displayName": "b-eventb language extension",
"description": "compiler support for b and eventb via ProB",
- "version": "0.0.2",
+ "version": "0.0.3",
"publisher": "SeeBasTStick",
"icon": "prob2-ui.png",
"author": "Sebastian Stock",
@@ -17,10 +17,14 @@
"Programming Languages"
],
"keywords": [
- "multi-root ready", "B", "eventB", "proB"
+ "multi-root ready",
+ "B",
+ "eventB",
+ "proB"
],
"activationEvents": [
- "onLanguage:B", "onLanguage:eventB"
+ "onLanguage:B",
+ "onLanguage:eventB"
],
"main": "./client/out/extension",
"contributes": {
--
GitLab