|
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 } |