author | wenzelm |
Mon, 29 May 2017 15:16:32 +0200 | |
changeset 65958 | 6338355b2a88 |
parent 65914 | 9584653df458 |
child 65983 | d8c5603c1732 |
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", |
|
65914 | 13 |
"version": "0.12.0", |
64696 | 14 |
"publisher": "makarius", |
65091 | 15 |
"license": "MIT", |
64605 | 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": { |
|
65958 | 25 |
"commands": [ |
26 |
{ |
|
27 |
"command": "isabelle.preview", |
|
28 |
"title": "Isabelle Document Preview" |
|
29 |
} |
|
30 |
], |
|
64605 | 31 |
"languages": [ |
32 |
{ |
|
33 |
"id": "isabelle", |
|
34 |
"aliases": ["Isabelle"], |
|
35 |
"extensions": [".thy"], |
|
64736 | 36 |
"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
|
37 |
}, |
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 |
{ |
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
|
39 |
"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
|
40 |
"aliases": ["Isabelle/ML"], |
64780 | 41 |
"extensions": [".ML", ".sml", ".sig"], |
64752 | 42 |
"configuration": "./isabelle-ml-language.json" |
64605 | 43 |
} |
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
|
44 |
|
64605 | 45 |
], |
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
|
46 |
"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
|
47 |
{ |
64738
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
48 |
"language": "isabelle", |
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
49 |
"scopeName": "source.isabelle", |
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
50 |
"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
|
51 |
}, |
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
|
52 |
{ |
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
|
53 |
"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
|
54 |
"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
|
55 |
"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
|
56 |
} |
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
|
57 |
], |
64605 | 58 |
"configuration": { |
59 |
"title": "Isabelle", |
|
60 |
"properties": { |
|
61 |
"isabelle.home": { |
|
62 |
"type": "string", |
|
63 |
"default": "", |
|
64755 | 64 |
"description": "Main Isabelle directory (ISABELLE_HOME)." |
64734 | 65 |
}, |
64743 | 66 |
"isabelle.args": { |
64734 | 67 |
"type": "array", |
68 |
"items": { "type": "string" }, |
|
69 |
"default": [], |
|
64755 | 70 |
"description": "Command-line arguments for isabelle vscode_server process." |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
71 |
}, |
65172 | 72 |
"isabelle.cygwin_root": { |
73 |
"type": "string", |
|
74 |
"default": "", |
|
75 |
"description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)." |
|
76 |
}, |
|
65913 | 77 |
"isabelle.unprocessed_light_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" }, |
78 |
"isabelle.unprocessed_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" }, |
|
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
79 |
"isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" }, |
65185 | 80 |
"isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" }, |
65913 | 81 |
"isabelle.running_light_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" }, |
82 |
"isabelle.running_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" }, |
|
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
83 |
"isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" }, |
65185 | 84 |
"isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" }, |
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
85 |
"isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
86 |
"isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
87 |
"isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.40)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
88 |
"isabelle.intensify_dark_color": { "type": "string", "default": "rgba(204, 136, 0, 0.20)" }, |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
89 |
"isabelle.markdown_item1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" }, |
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
90 |
"isabelle.markdown_item1_dark_color": { "type": "string", "default": "rgba(5, 199, 5, 0.20)" }, |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
91 |
"isabelle.markdown_item2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" }, |
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
92 |
"isabelle.markdown_item2_dark_color": { "type": "string", "default": "rgba(204, 143, 0, 0.20)" }, |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
93 |
"isabelle.markdown_item3_light_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" }, |
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
94 |
"isabelle.markdown_item3_dark_color": { "type": "string", "default": "rgba(0, 0, 204, 0.20)" }, |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
95 |
"isabelle.markdown_item4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" }, |
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
96 |
"isabelle.markdown_item4_dark_color": { "type": "string", "default": "rgba(204, 0, 105, 0.20)" }, |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
97 |
"isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" }, |
65183 | 98 |
"isabelle.quoted_dark_color": { "type": "string", "default": "rgba(150, 150, 150, 0.15)" }, |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
99 |
"isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" }, |
65183 | 100 |
"isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 214, 102, 0.15)" }, |
65122
1edb570f5b17
decorations for dotted underline: less intrusive;
wenzelm
parents:
65104
diff
changeset
|
101 |
"isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" }, |
1edb570f5b17
decorations for dotted underline: less intrusive;
wenzelm
parents:
65104
diff
changeset
|
102 |
"isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" }, |
1edb570f5b17
decorations for dotted underline: less intrusive;
wenzelm
parents:
65104
diff
changeset
|
103 |
"isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" }, |
65134
511bf19348d3
clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover);
wenzelm
parents:
65122
diff
changeset
|
104 |
"isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" }, |
511bf19348d3
clarified messages (with improved scalability): legacy/error as diagnostics, writeln/information/warning/bad as tooltips (dynamic hover);
wenzelm
parents:
65122
diff
changeset
|
105 |
"isabelle.warning_light_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" }, |
65142 | 106 |
"isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" }, |
65913 | 107 |
"isabelle.error_light_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" }, |
108 |
"isabelle.error_dark_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" }, |
|
65142 | 109 |
"isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" }, |
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
110 |
"isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" }, |
65181
b4105202751c
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65179
diff
changeset
|
111 |
"isabelle.main_light_color": { "type": "string", "default": "rgba(0, 0, 0, 1.00)" }, |
b4105202751c
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65179
diff
changeset
|
112 |
"isabelle.main_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" }, |
65175 | 113 |
"isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" }, |
114 |
"isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" }, |
|
115 |
"isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" }, |
|
116 |
"isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" }, |
|
117 |
"isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" }, |
|
118 |
"isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" }, |
|
65146 | 119 |
"isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" }, |
120 |
"isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" }, |
|
65175 | 121 |
"isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" }, |
122 |
"isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" }, |
|
65146 | 123 |
"isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" }, |
65175 | 124 |
"isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" }, |
65146 | 125 |
"isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" }, |
126 |
"isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" }, |
|
127 |
"isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" }, |
|
128 |
"isabelle.tvar_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" }, |
|
129 |
"isabelle.free_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.00)" }, |
|
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
130 |
"isabelle.free_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" }, |
65146 | 131 |
"isabelle.skolem_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" }, |
132 |
"isabelle.skolem_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" }, |
|
133 |
"isabelle.bound_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" }, |
|
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
134 |
"isabelle.bound_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
135 |
"isabelle.var_light_color": { "type": "string", "default": "rgba(0, 16, 128, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
136 |
"isabelle.var_dark_color": { "type": "string", "default": "rgba(156, 220, 254, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
137 |
"isabelle.inner_numeral_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
138 |
"isabelle.inner_numeral_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
139 |
"isabelle.inner_quoted_light_color": { "type": "string", "default": "rgba(163, 21, 21, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
140 |
"isabelle.inner_quoted_dark_color": { "type": "string", "default": "rgba(206, 145, 120, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
141 |
"isabelle.inner_cartouche_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
142 |
"isabelle.inner_cartouche_dark_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
143 |
"isabelle.inner_comment_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
144 |
"isabelle.inner_comment_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
145 |
"isabelle.dynamic_light_color": { "type": "string", "default": "rgba(121, 94, 38, 1.00)" }, |
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
146 |
"isabelle.dynamic_dark_color": { "type": "string", "default": "rgba(220, 220, 170, 1.00)" }, |
65146 | 147 |
"isabelle.class_parameter_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" }, |
148 |
"isabelle.class_parameter_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" }, |
|
149 |
"isabelle.antiquote_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" }, |
|
65177
976938956460
tuned colors according to Light+ and Dark+ themes;
wenzelm
parents:
65176
diff
changeset
|
150 |
"isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" } |
64605 | 151 |
} |
152 |
} |
|
153 |
}, |
|
154 |
"scripts": { |
|
155 |
"vscode:prepublish": "tsc -p ./", |
|
156 |
"compile": "tsc -watch -p ./", |
|
157 |
"postinstall": "node ./node_modules/vscode/bin/install" |
|
158 |
}, |
|
159 |
"devDependencies": { |
|
65886 | 160 |
"typescript": "^2.3.2", |
161 |
"vscode": "^1.1.0", |
|
162 |
"mocha": "^3.4.1", |
|
163 |
"@types/node": "^7.0.21", |
|
164 |
"@types/mocha": "^2.2.41" |
|
64605 | 165 |
}, |
166 |
"dependencies": { |
|
65886 | 167 |
"vscode-languageclient": "~3.2.2" |
64605 | 168 |
} |
65192 | 169 |
} |