Skip to content
Snippets Groups Projects
Commit 0877896d authored by SeeBasTStick's avatar SeeBasTStick
Browse files

0.0.3

parent 7f5a1fa5
No related branches found
No related tags found
No related merge requests found
{
"name": "b-eventb",
"version": "0.0.2",
"version": "0.0.3",
"lockfileVersion": 1,
"requires": true,
"dependencies": {
......
......@@ -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": {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment