From 83b763007c1223dba7fd55b4a163d86d13ded4ee Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Mon, 18 May 2020 11:21:55 +0200
Subject: [PATCH] 0.0.2
---
package-lock.json | 2 +-
package.json | 37 ++++++++++++++++++-------------------
2 files changed, 19 insertions(+), 20 deletions(-)
diff --git a/package-lock.json b/package-lock.json
index 5302768..98b9a2c 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
{
"name": "b-eventb",
- "version": "0.0.1",
+ "version": "0.0.2",
"lockfileVersion": 1,
"requires": true,
"dependencies": {
diff --git a/package.json b/package.json
index ab14955..4ac8908 100644
--- a/package.json
+++ b/package.json
@@ -1,22 +1,22 @@
{
- "name": "b-eventb-language-extension",
- "displayName": "b-eventb language extension",
- "description": "compiler support for b and eventb via ProB",
- "version": "0.0.1",
- "publisher": "SeeBasTStick",
- "icon": "prob2-ui.png",
- "author": "Sebastian Stock",
+ "name": "b-eventb-language-extension",
+ "displayName": "b-eventb language extension",
+ "description": "compiler support for b and eventb via ProB",
+ "version": "0.0.2",
+ "publisher": "SeeBasTStick",
+ "icon": "prob2-ui.png",
+ "author": "Sebastian Stock",
"repository": {
"type": "git",
"url": "https://github.com/SeeBasTStick/b-eventb-language-extension"
},
- "engines": {
- "vscode": "^1.45.0"
- },
- "categories": [
- "Programming Languages"
- ],
- "keywords": [
+ "engines": {
+ "vscode": "^1.45.0"
+ },
+ "categories": [
+ "Programming Languages"
+ ],
+ "keywords": [
"multi-root ready"
],
"activationEvents": [
@@ -45,16 +45,15 @@
"default": "off",
"description": "Traces the communication between VS Code and the language server."
},
- "languageServer.probHome":{
+ "languageServer.probHome": {
"scope": "window",
- "type":"string",
- "default":"~/prob_prolog/probcli.sh",
+ "type": "string",
+ "default": "~/prob_prolog/probcli.sh",
"description": "Path to ProB executable"
}
}
}
},
-
"scripts": {
"vscode:prepublish": "npm run compile",
"compile": "tsc -b",
@@ -78,4 +77,4 @@
"stream-to-array": "^2.3.0",
"vscode-uri": "^2.1.1"
}
-}
\ No newline at end of file
+}
--
GitLab