Skip to content
Snippets Groups Projects
Commit 97184a19 authored by SeeBasTStick's avatar SeeBasTStick
Browse files

0.3.0

parent 9530c119
Branches
Tags
No related merge requests found
{
"name": "b-eventb-language-extension",
"version": "0.2.0",
"version": "0.3.0",
"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.2.0",
"version": "0.3.0",
"publisher": "SeeBasTStick",
"icon": "prob2-ui.png",
"author": "Sebastian Stock",
......@@ -76,16 +76,30 @@
}
}
},
"languages": [{
"languages": [
{
"id": "classicalB",
"extensions": [".mch", ".def", ".imp", ".ref"],
"aliases": ["B", "classical B"]
"extensions": [
".mch",
".def",
".imp",
".ref"
],
"aliases": [
"B",
"classical B"
]
},
{
"id": "eventB",
"extensions": [".sys"],
"aliases": ["Event-B"]
}]
"extensions": [
".sys"
],
"aliases": [
"Event-B"
]
}
]
},
"scripts": {
"vscode:prepublish": "npm run compile",
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment