64605
|
1 |
{
|
|
2 |
"name": "isabelle",
|
|
3 |
"displayName": "Isabelle",
|
|
4 |
"description": "Isabelle Theorem Prover",
|
|
5 |
"keywords": [
|
|
6 |
"theorem prover",
|
|
7 |
"formalized mathematics",
|
|
8 |
"mathematical logic",
|
|
9 |
"functional programming",
|
|
10 |
"document preparation"
|
|
11 |
],
|
|
12 |
"icon": "isabelle.png",
|
|
13 |
"version": "0.0.1",
|
|
14 |
"publisher": "Makarius",
|
|
15 |
"license": "BSD-3-Clause",
|
|
16 |
"repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
|
|
17 |
"engines": { "vscode": "^1.5.0" },
|
|
18 |
"categories": ["Languages"],
|
|
19 |
"activationEvents": [
|
|
20 |
"onLanguage:isabelle"
|
|
21 |
],
|
|
22 |
"main": "./out/src/extension",
|
|
23 |
"contributes": {
|
|
24 |
"languages": [
|
|
25 |
{
|
|
26 |
"id": "isabelle",
|
|
27 |
"aliases": ["Isabelle"],
|
|
28 |
"extensions": [".thy"],
|
|
29 |
"configuration": "./language-configuration.json"
|
|
30 |
}
|
|
31 |
],
|
|
32 |
"configuration": {
|
|
33 |
"title": "Isabelle",
|
|
34 |
"properties": {
|
|
35 |
"isabelle.home": {
|
|
36 |
"type": "string",
|
|
37 |
"default": "",
|
|
38 |
"description": "ISABELLE_HOME directory"
|
|
39 |
}
|
|
40 |
}
|
|
41 |
}
|
|
42 |
},
|
|
43 |
"scripts": {
|
|
44 |
"vscode:prepublish": "tsc -p ./",
|
|
45 |
"compile": "tsc -watch -p ./",
|
|
46 |
"postinstall": "node ./node_modules/vscode/bin/install"
|
|
47 |
},
|
|
48 |
"devDependencies": {
|
|
49 |
"typescript": "^2.0.3",
|
|
50 |
"vscode": "^1.0.0",
|
|
51 |
"mocha": "^2.3.3",
|
|
52 |
"@types/node": "^6.0.40",
|
|
53 |
"@types/mocha": "^2.2.32"
|
|
54 |
},
|
|
55 |
"dependencies": {
|
|
56 |
"vscode-languageclient": "^2.6.3"
|
|
57 |
}
|
|
58 |
} |