author | wenzelm |
Thu, 05 Jan 2017 16:46:01 +0100 | |
changeset 64805 | d868f5c7a31c |
parent 64780 | 99e8f7d4936f |
child 64875 | 4efffde18a90 |
permissions | -rw-r--r-- |
64605 | 1 |
{ |
2 |
"name": "isabelle", |
|
3 |
"displayName": "Isabelle", |
|
64757 | 4 |
"description": "Isabelle Prover IDE", |
64605 | 5 |
"keywords": [ |
6 |
"theorem prover", |
|
7 |
"formalized mathematics", |
|
8 |
"mathematical logic", |
|
9 |
"functional programming", |
|
10 |
"document preparation" |
|
11 |
], |
|
12 |
"icon": "isabelle.png", |
|
64805 | 13 |
"version": "0.4.0", |
64696 | 14 |
"publisher": "makarius", |
64605 | 15 |
"license": "BSD-3-Clause", |
16 |
"repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" }, |
|
64757 | 17 |
"engines": { "vscode": "^1.8.0" }, |
64605 | 18 |
"categories": ["Languages"], |
19 |
"activationEvents": [ |
|
64750 | 20 |
"onLanguage:isabelle", |
21 |
"onLanguage:isabelle-ml" |
|
64605 | 22 |
], |
23 |
"main": "./out/src/extension", |
|
24 |
"contributes": { |
|
25 |
"languages": [ |
|
26 |
{ |
|
27 |
"id": "isabelle", |
|
28 |
"aliases": ["Isabelle"], |
|
29 |
"extensions": [".thy"], |
|
64736 | 30 |
"configuration": "./isabelle-language.json" |
64749
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
31 |
}, |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
32 |
{ |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
33 |
"id": "isabelle-ml", |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
34 |
"aliases": ["Isabelle/ML"], |
64780 | 35 |
"extensions": [".ML", ".sml", ".sig"], |
64752 | 36 |
"configuration": "./isabelle-ml-language.json" |
64605 | 37 |
} |
64749
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
38 |
|
64605 | 39 |
], |
64749
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
40 |
"grammars": [ |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
41 |
{ |
64738
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
42 |
"language": "isabelle", |
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
43 |
"scopeName": "source.isabelle", |
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
44 |
"path": "./isabelle-grammar.json" |
64749
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
45 |
}, |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
46 |
{ |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
47 |
"language": "isabelle-ml", |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
48 |
"scopeName": "source.isabelle-ml", |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
49 |
"path": "./isabelle-ml-grammar.json" |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
50 |
} |
2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents:
64743
diff
changeset
|
51 |
], |
64605 | 52 |
"configuration": { |
53 |
"title": "Isabelle", |
|
54 |
"properties": { |
|
64755 | 55 |
"isabelle.cygwin_root": { |
56 |
"type": "string", |
|
57 |
"default": "", |
|
58 |
"description": "Root of Cygwin installation on Windows (e.g. ISABELLE_HOME/cygwin)." |
|
59 |
}, |
|
64605 | 60 |
"isabelle.home": { |
61 |
"type": "string", |
|
62 |
"default": "", |
|
64755 | 63 |
"description": "Main Isabelle directory (ISABELLE_HOME)." |
64734 | 64 |
}, |
64743 | 65 |
"isabelle.args": { |
64734 | 66 |
"type": "array", |
67 |
"items": { "type": "string" }, |
|
68 |
"default": [], |
|
64755 | 69 |
"description": "Command-line arguments for isabelle vscode_server process." |
64605 | 70 |
} |
71 |
} |
|
72 |
} |
|
73 |
}, |
|
74 |
"scripts": { |
|
75 |
"vscode:prepublish": "tsc -p ./", |
|
76 |
"compile": "tsc -watch -p ./", |
|
77 |
"postinstall": "node ./node_modules/vscode/bin/install" |
|
78 |
}, |
|
79 |
"devDependencies": { |
|
80 |
"typescript": "^2.0.3", |
|
81 |
"vscode": "^1.0.0", |
|
82 |
"mocha": "^2.3.3", |
|
83 |
"@types/node": "^6.0.40", |
|
84 |
"@types/mocha": "^2.2.32" |
|
85 |
}, |
|
86 |
"dependencies": { |
|
87 |
"vscode-languageclient": "^2.6.3" |
|
88 |
} |
|
89 |
} |