author | wenzelm |
Mon, 18 Sep 2017 18:26:55 +0200 | |
changeset 66678 | ad96222853fc |
parent 66673 | 1e4450008c47 |
child 66689 | ef81649ad051 |
permissions | -rw-r--r-- |
64605 | 1 |
{ |
66598 | 2 |
"name": "Isabelle2017", |
3 |
"displayName": "Isabelle2017", |
|
64757 | 4 |
"description": "Isabelle Prover IDE", |
64605 | 5 |
"keywords": [ |
6 |
"theorem prover", |
|
7 |
"formalized mathematics", |
|
8 |
"mathematical logic", |
|
9 |
"functional programming", |
|
10 |
"document preparation" |
|
66095 | 11 |
], |
64605 | 12 |
"icon": "isabelle.png", |
66678 | 13 |
"version": "1.0.0", |
64696 | 14 |
"publisher": "makarius", |
65091 | 15 |
"license": "MIT", |
66095 | 16 |
"repository": { |
17 |
"url": "http://isabelle.in.tum.de/repos/isabelle" |
|
18 |
}, |
|
19 |
"engines": { |
|
20 |
"vscode": "^1.8.0" |
|
21 |
}, |
|
22 |
"categories": [ |
|
23 |
"Languages" |
|
24 |
], |
|
64605 | 25 |
"activationEvents": [ |
64750 | 26 |
"onLanguage:isabelle", |
65983 | 27 |
"onLanguage:isabelle-ml", |
28 |
"onCommand:isabelle.preview", |
|
65985 | 29 |
"onCommand:isabelle.preview-split", |
65983 | 30 |
"onCommand:isabelle.preview-source" |
64605 | 31 |
], |
32 |
"main": "./out/src/extension", |
|
33 |
"contributes": { |
|
65958 | 34 |
"commands": [ |
35 |
{ |
|
66096 | 36 |
"command": "isabelle.state", |
66225 | 37 |
"title": "Show State", |
66096 | 38 |
"category": "Isabelle" |
39 |
}, |
|
40 |
{ |
|
65985 | 41 |
"command": "isabelle.preview", |
42 |
"title": "Open Preview", |
|
43 |
"category": "Isabelle", |
|
44 |
"icon": { |
|
45 |
"light": "./media/Preview.svg", |
|
46 |
"dark": "./media/Preview_inverse.svg" |
|
47 |
} |
|
48 |
}, |
|
49 |
{ |
|
65986 | 50 |
"command": "isabelle.preview-update", |
51 |
"title": "Update Preview", |
|
52 |
"category": "Isabelle", |
|
53 |
"icon": { |
|
54 |
"light": "./media/Preview.svg", |
|
55 |
"dark": "./media/Preview_inverse.svg" |
|
56 |
} |
|
57 |
}, |
|
58 |
{ |
|
65985 | 59 |
"command": "isabelle.preview-split", |
60 |
"title": "Open Preview (Split Editor)", |
|
61 |
"category": "Isabelle", |
|
62 |
"icon": { |
|
63 |
"light": "./media/PreviewOnRightPane_16x.svg", |
|
64 |
"dark": "./media/PreviewOnRightPane_16x_dark.svg" |
|
65 |
} |
|
66 |
}, |
|
67 |
{ |
|
68 |
"command": "isabelle.preview-source", |
|
69 |
"title": "Show Source", |
|
70 |
"category": "Isabelle", |
|
71 |
"icon": { |
|
72 |
"light": "./media/ViewSource.svg", |
|
73 |
"dark": "./media/ViewSource_inverse.svg" |
|
74 |
} |
|
66138 | 75 |
}, |
76 |
{ |
|
77 |
"command": "isabelle.include-word", |
|
78 |
"title": "Include word", |
|
79 |
"category": "Isabelle" |
|
80 |
}, |
|
81 |
{ |
|
82 |
"command": "isabelle.include-word-permanently", |
|
83 |
"title": "Include word permanently", |
|
84 |
"category": "Isabelle" |
|
85 |
}, |
|
86 |
{ |
|
87 |
"command": "isabelle.exclude-word", |
|
88 |
"title": "Exclude word", |
|
89 |
"category": "Isabelle" |
|
90 |
}, |
|
91 |
{ |
|
92 |
"command": "isabelle.exclude-word-permanently", |
|
93 |
"title": "Exclude word permanently", |
|
94 |
"category": "Isabelle" |
|
95 |
}, |
|
96 |
{ |
|
97 |
"command": "isabelle.reset-words", |
|
98 |
"title": "Reset non-permanent words", |
|
99 |
"category": "Isabelle" |
|
65958 | 100 |
} |
101 |
], |
|
65983 | 102 |
"menus": { |
65985 | 103 |
"editor/title": [ |
104 |
{ |
|
105 |
"when": "editorLangId == isabelle", |
|
66042 | 106 |
"command": "isabelle.preview", |
107 |
"group": "navigation" |
|
108 |
}, |
|
109 |
{ |
|
110 |
"when": "editorLangId == isabelle", |
|
65985 | 111 |
"command": "isabelle.preview-split", |
112 |
"group": "navigation" |
|
113 |
}, |
|
114 |
{ |
|
115 |
"when": "resourceScheme == isabelle-preview", |
|
65986 | 116 |
"command": "isabelle.preview-update", |
117 |
"group": "navigation" |
|
118 |
}, |
|
119 |
{ |
|
120 |
"when": "resourceScheme == isabelle-preview", |
|
65985 | 121 |
"command": "isabelle.preview-source", |
122 |
"group": "navigation" |
|
123 |
} |
|
124 |
], |
|
125 |
"explorer/context": [ |
|
126 |
{ |
|
127 |
"when": "resourceLangId == isabelle", |
|
128 |
"command": "isabelle.preview", |
|
129 |
"group": "navigation" |
|
130 |
} |
|
131 |
] |
|
132 |
}, |
|
64605 | 133 |
"languages": [ |
134 |
{ |
|
135 |
"id": "isabelle", |
|
66095 | 136 |
"aliases": [ |
137 |
"Isabelle" |
|
138 |
], |
|
139 |
"extensions": [ |
|
140 |
".thy" |
|
141 |
], |
|
64736 | 142 |
"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
|
143 |
}, |
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
|
144 |
{ |
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
|
145 |
"id": "isabelle-ml", |
66095 | 146 |
"aliases": [ |
147 |
"Isabelle/ML" |
|
148 |
], |
|
149 |
"extensions": [ |
|
150 |
".ML", |
|
151 |
".sml", |
|
152 |
".sig" |
|
153 |
], |
|
64752 | 154 |
"configuration": "./isabelle-ml-language.json" |
64605 | 155 |
} |
156 |
], |
|
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
|
157 |
"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
|
158 |
{ |
64738
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
159 |
"language": "isabelle", |
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
160 |
"scopeName": "source.isabelle", |
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
161 |
"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
|
162 |
}, |
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
|
163 |
{ |
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
|
164 |
"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
|
165 |
"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
|
166 |
"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
|
167 |
} |
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
|
168 |
], |
64605 | 169 |
"configuration": { |
170 |
"title": "Isabelle", |
|
171 |
"properties": { |
|
172 |
"isabelle.home": { |
|
173 |
"type": "string", |
|
174 |
"default": "", |
|
64755 | 175 |
"description": "Main Isabelle directory (ISABELLE_HOME)." |
64734 | 176 |
}, |
64743 | 177 |
"isabelle.args": { |
64734 | 178 |
"type": "array", |
66095 | 179 |
"items": { |
180 |
"type": "string" |
|
181 |
}, |
|
64734 | 182 |
"default": [], |
64755 | 183 |
"description": "Command-line arguments for isabelle vscode_server process." |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
184 |
}, |
65172 | 185 |
"isabelle.cygwin_root": { |
186 |
"type": "string", |
|
187 |
"default": "", |
|
188 |
"description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)." |
|
189 |
}, |
|
66095 | 190 |
"isabelle.unprocessed_light_color": { |
191 |
"type": "string", |
|
192 |
"default": "rgba(255, 160, 160, 1.00)" |
|
193 |
}, |
|
194 |
"isabelle.unprocessed_dark_color": { |
|
195 |
"type": "string", |
|
196 |
"default": "rgba(97, 0, 97, 1.00)" |
|
197 |
}, |
|
198 |
"isabelle.unprocessed1_light_color": { |
|
199 |
"type": "string", |
|
200 |
"default": "rgba(255, 160, 160, 0.20)" |
|
201 |
}, |
|
202 |
"isabelle.unprocessed1_dark_color": { |
|
203 |
"type": "string", |
|
204 |
"default": "rgba(97, 0, 97, 0.20)" |
|
205 |
}, |
|
206 |
"isabelle.running_light_color": { |
|
207 |
"type": "string", |
|
208 |
"default": "rgba(97, 0, 97, 1.00)" |
|
209 |
}, |
|
210 |
"isabelle.running_dark_color": { |
|
211 |
"type": "string", |
|
212 |
"default": "rgba(255, 160, 160, 1.00)" |
|
213 |
}, |
|
214 |
"isabelle.running1_light_color": { |
|
215 |
"type": "string", |
|
216 |
"default": "rgba(97, 0, 97, 0.40)" |
|
217 |
}, |
|
218 |
"isabelle.running1_dark_color": { |
|
219 |
"type": "string", |
|
220 |
"default": "rgba(255, 160, 160, 0.40)" |
|
221 |
}, |
|
222 |
"isabelle.bad_light_color": { |
|
223 |
"type": "string", |
|
224 |
"default": "rgba(255, 106, 106, 0.40)" |
|
225 |
}, |
|
226 |
"isabelle.bad_dark_color": { |
|
227 |
"type": "string", |
|
228 |
"default": "rgba(255, 106, 106, 0.40)" |
|
229 |
}, |
|
230 |
"isabelle.intensify_light_color": { |
|
231 |
"type": "string", |
|
232 |
"default": "rgba(255, 204, 102, 0.40)" |
|
233 |
}, |
|
234 |
"isabelle.intensify_dark_color": { |
|
235 |
"type": "string", |
|
236 |
"default": "rgba(204, 136, 0, 0.20)" |
|
237 |
}, |
|
238 |
"isabelle.markdown_item1_light_color": { |
|
239 |
"type": "string", |
|
240 |
"default": "rgba(218, 254, 218, 1.00)" |
|
241 |
}, |
|
242 |
"isabelle.markdown_item1_dark_color": { |
|
243 |
"type": "string", |
|
244 |
"default": "rgba(5, 199, 5, 0.20)" |
|
245 |
}, |
|
246 |
"isabelle.markdown_item2_light_color": { |
|
247 |
"type": "string", |
|
248 |
"default": "rgba(255, 240, 204, 1.00)" |
|
249 |
}, |
|
250 |
"isabelle.markdown_item2_dark_color": { |
|
251 |
"type": "string", |
|
252 |
"default": "rgba(204, 143, 0, 0.20)" |
|
253 |
}, |
|
254 |
"isabelle.markdown_item3_light_color": { |
|
255 |
"type": "string", |
|
256 |
"default": "rgba(231, 231, 255, 1.00)" |
|
257 |
}, |
|
258 |
"isabelle.markdown_item3_dark_color": { |
|
259 |
"type": "string", |
|
260 |
"default": "rgba(0, 0, 204, 0.20)" |
|
261 |
}, |
|
262 |
"isabelle.markdown_item4_light_color": { |
|
263 |
"type": "string", |
|
264 |
"default": "rgba(255, 224, 240, 1.00)" |
|
265 |
}, |
|
266 |
"isabelle.markdown_item4_dark_color": { |
|
267 |
"type": "string", |
|
268 |
"default": "rgba(204, 0, 105, 0.20)" |
|
269 |
}, |
|
270 |
"isabelle.quoted_light_color": { |
|
271 |
"type": "string", |
|
272 |
"default": "rgba(139, 139, 139, 0.10)" |
|
273 |
}, |
|
274 |
"isabelle.quoted_dark_color": { |
|
275 |
"type": "string", |
|
276 |
"default": "rgba(150, 150, 150, 0.15)" |
|
277 |
}, |
|
278 |
"isabelle.antiquoted_light_color": { |
|
279 |
"type": "string", |
|
280 |
"default": "rgba(255, 200, 50, 0.10)" |
|
281 |
}, |
|
282 |
"isabelle.antiquoted_dark_color": { |
|
283 |
"type": "string", |
|
284 |
"default": "rgba(255, 214, 102, 0.15)" |
|
285 |
}, |
|
286 |
"isabelle.writeln_light_color": { |
|
287 |
"type": "string", |
|
288 |
"default": "rgba(192, 192, 192, 1.0)" |
|
289 |
}, |
|
290 |
"isabelle.writeln_dark_color": { |
|
291 |
"type": "string", |
|
292 |
"default": "rgba(192, 192, 192, 1.0)" |
|
293 |
}, |
|
294 |
"isabelle.information_light_color": { |
|
295 |
"type": "string", |
|
296 |
"default": "rgba(193, 223, 238, 1.0)" |
|
297 |
}, |
|
298 |
"isabelle.information_dark_color": { |
|
299 |
"type": "string", |
|
300 |
"default": "rgba(193, 223, 238, 1.0)" |
|
301 |
}, |
|
302 |
"isabelle.warning_light_color": { |
|
303 |
"type": "string", |
|
304 |
"default": "rgba(255, 140, 0, 1.0)" |
|
305 |
}, |
|
306 |
"isabelle.warning_dark_color": { |
|
307 |
"type": "string", |
|
308 |
"default": "rgba(255, 140, 0, 1.0)" |
|
309 |
}, |
|
310 |
"isabelle.error_light_color": { |
|
311 |
"type": "string", |
|
312 |
"default": "rgba(178, 34, 34, 1.00)" |
|
313 |
}, |
|
314 |
"isabelle.error_dark_color": { |
|
315 |
"type": "string", |
|
316 |
"default": "rgba(178, 34, 34, 1.00)" |
|
317 |
}, |
|
318 |
"isabelle.spell_checker_light_color": { |
|
319 |
"type": "string", |
|
320 |
"default": "rgba(0, 0, 255, 1.0)" |
|
321 |
}, |
|
322 |
"isabelle.spell_checker_dark_color": { |
|
323 |
"type": "string", |
|
324 |
"default": "rgba(86, 156, 214, 1.00)" |
|
325 |
}, |
|
326 |
"isabelle.main_light_color": { |
|
327 |
"type": "string", |
|
328 |
"default": "rgba(0, 0, 0, 1.00)" |
|
329 |
}, |
|
330 |
"isabelle.main_dark_color": { |
|
331 |
"type": "string", |
|
332 |
"default": "rgba(212, 212, 212, 1.00)" |
|
333 |
}, |
|
334 |
"isabelle.keyword1_light_color": { |
|
335 |
"type": "string", |
|
336 |
"default": "rgba(175, 0, 219, 1.00)" |
|
337 |
}, |
|
338 |
"isabelle.keyword1_dark_color": { |
|
339 |
"type": "string", |
|
340 |
"default": "rgba(197, 134, 192, 1.00)" |
|
341 |
}, |
|
342 |
"isabelle.keyword2_light_color": { |
|
343 |
"type": "string", |
|
344 |
"default": "rgba(9, 136, 90, 1.00)" |
|
345 |
}, |
|
346 |
"isabelle.keyword2_dark_color": { |
|
347 |
"type": "string", |
|
348 |
"default": "rgba(181, 206, 168, 1.00)" |
|
349 |
}, |
|
350 |
"isabelle.keyword3_light_color": { |
|
351 |
"type": "string", |
|
352 |
"default": "rgba(38, 127, 153, 1.00)" |
|
353 |
}, |
|
354 |
"isabelle.keyword3_dark_color": { |
|
355 |
"type": "string", |
|
356 |
"default": "rgba(78, 201, 176), 1.00)" |
|
357 |
}, |
|
358 |
"isabelle.quasi_keyword_light_color": { |
|
359 |
"type": "string", |
|
360 |
"default": "rgba(153, 102, 255, 1.00)" |
|
361 |
}, |
|
362 |
"isabelle.quasi_keyword_dark_color": { |
|
363 |
"type": "string", |
|
364 |
"default": "rgba(153, 102, 255, 1.00)" |
|
365 |
}, |
|
366 |
"isabelle.improper_light_color": { |
|
367 |
"type": "string", |
|
368 |
"default": "rgba(205, 49, 49, 1.00)" |
|
369 |
}, |
|
370 |
"isabelle.improper_dark_color": { |
|
371 |
"type": "string", |
|
372 |
"default": "rgba(244, 71, 71, 1.00)" |
|
373 |
}, |
|
374 |
"isabelle.operator_light_color": { |
|
375 |
"type": "string", |
|
376 |
"default": "rgba(50, 50, 50, 1.00)" |
|
377 |
}, |
|
378 |
"isabelle.operator_dark_color": { |
|
379 |
"type": "string", |
|
380 |
"default": "rgba(212, 212, 212, 1.00)" |
|
381 |
}, |
|
382 |
"isabelle.tfree_light_color": { |
|
383 |
"type": "string", |
|
384 |
"default": "rgba(160, 32, 240, 1.00)" |
|
385 |
}, |
|
386 |
"isabelle.tfree_dark_color": { |
|
387 |
"type": "string", |
|
388 |
"default": "rgba(160, 32, 240, 1.00)" |
|
389 |
}, |
|
390 |
"isabelle.tvar_light_color": { |
|
391 |
"type": "string", |
|
392 |
"default": "rgba(160, 32, 240, 1.00)" |
|
393 |
}, |
|
394 |
"isabelle.tvar_dark_color": { |
|
395 |
"type": "string", |
|
396 |
"default": "rgba(160, 32, 240, 1.00)" |
|
397 |
}, |
|
398 |
"isabelle.free_light_color": { |
|
399 |
"type": "string", |
|
400 |
"default": "rgba(0, 0, 255, 1.00)" |
|
401 |
}, |
|
402 |
"isabelle.free_dark_color": { |
|
403 |
"type": "string", |
|
404 |
"default": "rgba(86, 156, 214, 1.00)" |
|
405 |
}, |
|
406 |
"isabelle.skolem_light_color": { |
|
407 |
"type": "string", |
|
408 |
"default": "rgba(210, 105, 30, 1.00)" |
|
409 |
}, |
|
410 |
"isabelle.skolem_dark_color": { |
|
411 |
"type": "string", |
|
412 |
"default": "rgba(210, 105, 30, 1.00)" |
|
413 |
}, |
|
414 |
"isabelle.bound_light_color": { |
|
415 |
"type": "string", |
|
416 |
"default": "rgba(0, 128, 0, 1.00)" |
|
417 |
}, |
|
418 |
"isabelle.bound_dark_color": { |
|
419 |
"type": "string", |
|
420 |
"default": "rgba(96, 139, 78, 1.00)" |
|
421 |
}, |
|
422 |
"isabelle.var_light_color": { |
|
423 |
"type": "string", |
|
424 |
"default": "rgba(0, 16, 128, 1.00)" |
|
425 |
}, |
|
426 |
"isabelle.var_dark_color": { |
|
427 |
"type": "string", |
|
428 |
"default": "rgba(156, 220, 254, 1.00)" |
|
429 |
}, |
|
430 |
"isabelle.inner_numeral_light_color": { |
|
431 |
"type": "string", |
|
432 |
"default": "rgba(9, 136, 90, 1.00)" |
|
433 |
}, |
|
434 |
"isabelle.inner_numeral_dark_color": { |
|
435 |
"type": "string", |
|
436 |
"default": "rgba(181, 206, 168, 1.00)" |
|
437 |
}, |
|
438 |
"isabelle.inner_quoted_light_color": { |
|
439 |
"type": "string", |
|
440 |
"default": "rgba(163, 21, 21, 1.00)" |
|
441 |
}, |
|
442 |
"isabelle.inner_quoted_dark_color": { |
|
443 |
"type": "string", |
|
444 |
"default": "rgba(206, 145, 120, 1.00)" |
|
445 |
}, |
|
446 |
"isabelle.inner_cartouche_light_color": { |
|
447 |
"type": "string", |
|
448 |
"default": "rgba(129, 31, 63, 1.00)" |
|
449 |
}, |
|
450 |
"isabelle.inner_cartouche_dark_color": { |
|
451 |
"type": "string", |
|
452 |
"default": "rgba(209, 105, 105, 1.00)" |
|
453 |
}, |
|
454 |
"isabelle.inner_comment_light_color": { |
|
455 |
"type": "string", |
|
456 |
"default": "rgba(0, 128, 0, 1.00)" |
|
457 |
}, |
|
458 |
"isabelle.inner_comment_dark_color": { |
|
459 |
"type": "string", |
|
460 |
"default": "rgba(96, 139, 78, 1.00)" |
|
461 |
}, |
|
462 |
"isabelle.dynamic_light_color": { |
|
463 |
"type": "string", |
|
464 |
"default": "rgba(121, 94, 38, 1.00)" |
|
465 |
}, |
|
466 |
"isabelle.dynamic_dark_color": { |
|
467 |
"type": "string", |
|
468 |
"default": "rgba(220, 220, 170, 1.00)" |
|
469 |
}, |
|
470 |
"isabelle.class_parameter_light_color": { |
|
471 |
"type": "string", |
|
472 |
"default": "rgba(210, 105, 30, 1.00)" |
|
473 |
}, |
|
474 |
"isabelle.class_parameter_dark_color": { |
|
475 |
"type": "string", |
|
476 |
"default": "rgba(210, 105, 30, 1.00)" |
|
477 |
}, |
|
478 |
"isabelle.antiquote_light_color": { |
|
479 |
"type": "string", |
|
480 |
"default": "rgba(102, 0, 204, 1.00)" |
|
481 |
}, |
|
482 |
"isabelle.antiquote_dark_color": { |
|
483 |
"type": "string", |
|
484 |
"default": "rgba(197, 134, 192, 1.00)" |
|
485 |
} |
|
64605 | 486 |
} |
487 |
} |
|
488 |
}, |
|
489 |
"scripts": { |
|
490 |
"vscode:prepublish": "tsc -p ./", |
|
491 |
"compile": "tsc -watch -p ./", |
|
492 |
"postinstall": "node ./node_modules/vscode/bin/install" |
|
493 |
}, |
|
494 |
"devDependencies": { |
|
66673 | 495 |
"@types/mocha": "^2.2.43", |
66597 | 496 |
"@types/node": "^7.0.43", |
66673 | 497 |
"mocha": "^3.5.3", |
66597 | 498 |
"typescript": "^2.5.2", |
499 |
"vscode": "^1.1.5" |
|
64605 | 500 |
}, |
501 |
"dependencies": { |
|
65886 | 502 |
"vscode-languageclient": "~3.2.2" |
64605 | 503 |
} |
65192 | 504 |
} |