From 97184a19ae803061f87e3463d27aa8bc379b5ec0 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 25 May 2020 15:34:58 +0200
Subject: [PATCH] 0.3.0
---
package-lock.json | 2 +-
package.json | 36 +++++++++++++++++++++++++-----------
2 files changed, 26 insertions(+), 12 deletions(-)
diff --git a/package-lock.json b/package-lock.json
index 00d68cc..bc390d7 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
{
"name": "b-eventb-language-extension",
- "version": "0.2.0",
+ "version": "0.3.0",
"lockfileVersion": 1,
"requires": true,
"dependencies": {
diff --git a/package.json b/package.json
index 9e5fd97..d605544 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.2.0",
+ "version": "0.3.0",
"publisher": "SeeBasTStick",
"icon": "prob2-ui.png",
"author": "Sebastian Stock",
@@ -76,16 +76,30 @@
}
}
},
- "languages": [{
- "id": "classicalB",
- "extensions": [".mch", ".def", ".imp", ".ref"],
- "aliases": ["B", "classical B"]
- },
- {
- "id": "eventB",
- "extensions": [".sys"],
- "aliases": ["Event-B"]
- }]
+ "languages": [
+ {
+ "id": "classicalB",
+ "extensions": [
+ ".mch",
+ ".def",
+ ".imp",
+ ".ref"
+ ],
+ "aliases": [
+ "B",
+ "classical B"
+ ]
+ },
+ {
+ "id": "eventB",
+ "extensions": [
+ ".sys"
+ ],
+ "aliases": [
+ "Event-B"
+ ]
+ }
+ ]
},
"scripts": {
"vscode:prepublish": "npm run compile",
--
GitLab