1 { |
1 { |
2 "name": "isabelle", |
2 "name": "isabelle", |
3 "displayName": "Isabelle", |
3 "displayName": "Isabelle", |
4 "description": "Isabelle Theorem Prover", |
4 "description": "Isabelle Prover IDE", |
5 "keywords": [ |
5 "keywords": [ |
6 "theorem prover", |
6 "theorem prover", |
7 "formalized mathematics", |
7 "formalized mathematics", |
8 "mathematical logic", |
8 "mathematical logic", |
9 "functional programming", |
9 "functional programming", |
10 "document preparation" |
10 "document preparation" |
11 ], |
11 ], |
12 "icon": "isabelle.png", |
12 "icon": "isabelle.png", |
13 "version": "0.1.0", |
13 "version": "0.2.0", |
14 "publisher": "makarius", |
14 "publisher": "makarius", |
15 "license": "BSD-3-Clause", |
15 "license": "BSD-3-Clause", |
16 "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" }, |
16 "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" }, |
17 "engines": { "vscode": "^1.7.0" }, |
17 "engines": { "vscode": "^1.8.0" }, |
18 "categories": ["Languages"], |
18 "categories": ["Languages"], |
19 "activationEvents": [ |
19 "activationEvents": [ |
20 "onLanguage:isabelle", |
20 "onLanguage:isabelle", |
21 "onLanguage:isabelle-ml" |
21 "onLanguage:isabelle-ml" |
22 ], |
22 ], |