author | Fabian Huch <huch@in.tum.de> |
Wed, 23 Feb 2022 10:23:19 +0100 | |
changeset 75133 | 6df13a4ce259 |
parent 75129 | 49f9fa8f9601 |
child 75134 | c04ccea8bdd2 |
permissions | -rw-r--r-- |
64605 | 1 |
{ |
74775 | 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" |
|
66095 | 11 |
], |
64605 | 12 |
"icon": "isabelle.png", |
73167 | 13 |
"version": "1.2.2", |
64696 | 14 |
"publisher": "makarius", |
65091 | 15 |
"license": "MIT", |
66095 | 16 |
"repository": { |
71482 | 17 |
"url": "https://isabelle-dev.sketis.net" |
66095 | 18 |
}, |
19 |
"engines": { |
|
73543 | 20 |
"vscode": "^1.34.0" |
66095 | 21 |
}, |
22 |
"categories": [ |
|
71482 | 23 |
"Programming Languages" |
66095 | 24 |
], |
64605 | 25 |
"activationEvents": [ |
75093
7e2401d17bf8
more activationEvents, as proposed by Denis Paluca;
wenzelm
parents:
74775
diff
changeset
|
26 |
"workspaceContains:ROOT", |
7e2401d17bf8
more activationEvents, as proposed by Denis Paluca;
wenzelm
parents:
74775
diff
changeset
|
27 |
"workspaceContains:ROOTS", |
64750 | 28 |
"onLanguage:isabelle", |
65983 | 29 |
"onLanguage:isabelle-ml", |
67260
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
30 |
"onLanguage:bibtex", |
75093
7e2401d17bf8
more activationEvents, as proposed by Denis Paluca;
wenzelm
parents:
74775
diff
changeset
|
31 |
"onCommand:isabelle.state", |
65983 | 32 |
"onCommand:isabelle.preview", |
71479
6aa2dc263912
less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
wenzelm
parents:
71473
diff
changeset
|
33 |
"onCommand:isabelle.preview-split" |
64605 | 34 |
], |
35 |
"main": "./out/src/extension", |
|
36 |
"contributes": { |
|
75133
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
37 |
"viewsContainers": { |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
38 |
"panel": [ |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
39 |
{ |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
40 |
"id": "isabelle", |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
41 |
"title": "Isabelle", |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
42 |
"icon": "isabelle.png" |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
43 |
} |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
44 |
] |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
45 |
}, |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
46 |
"views": { |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
47 |
"isabelle": [ |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
48 |
{ |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
49 |
"type": "webview", |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
50 |
"id": "isabelle-output", |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
51 |
"name": "Output" |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
52 |
} |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
53 |
] |
6df13a4ce259
added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents:
75129
diff
changeset
|
54 |
}, |
65958 | 55 |
"commands": [ |
56 |
{ |
|
66096 | 57 |
"command": "isabelle.state", |
66225 | 58 |
"title": "Show State", |
66096 | 59 |
"category": "Isabelle" |
60 |
}, |
|
61 |
{ |
|
65985 | 62 |
"command": "isabelle.preview", |
63 |
"title": "Open Preview", |
|
64 |
"category": "Isabelle", |
|
65 |
"icon": { |
|
66 |
"light": "./media/Preview.svg", |
|
67 |
"dark": "./media/Preview_inverse.svg" |
|
68 |
} |
|
69 |
}, |
|
70 |
{ |
|
71 |
"command": "isabelle.preview-split", |
|
72 |
"title": "Open Preview (Split Editor)", |
|
73 |
"category": "Isabelle", |
|
74 |
"icon": { |
|
75 |
"light": "./media/PreviewOnRightPane_16x.svg", |
|
76 |
"dark": "./media/PreviewOnRightPane_16x_dark.svg" |
|
77 |
} |
|
78 |
}, |
|
79 |
{ |
|
66138 | 80 |
"command": "isabelle.include-word", |
81 |
"title": "Include word", |
|
82 |
"category": "Isabelle" |
|
83 |
}, |
|
84 |
{ |
|
85 |
"command": "isabelle.include-word-permanently", |
|
86 |
"title": "Include word permanently", |
|
87 |
"category": "Isabelle" |
|
88 |
}, |
|
89 |
{ |
|
90 |
"command": "isabelle.exclude-word", |
|
91 |
"title": "Exclude word", |
|
92 |
"category": "Isabelle" |
|
93 |
}, |
|
94 |
{ |
|
95 |
"command": "isabelle.exclude-word-permanently", |
|
96 |
"title": "Exclude word permanently", |
|
97 |
"category": "Isabelle" |
|
98 |
}, |
|
99 |
{ |
|
100 |
"command": "isabelle.reset-words", |
|
101 |
"title": "Reset non-permanent words", |
|
102 |
"category": "Isabelle" |
|
65958 | 103 |
} |
104 |
], |
|
65983 | 105 |
"menus": { |
65985 | 106 |
"editor/title": [ |
107 |
{ |
|
108 |
"when": "editorLangId == isabelle", |
|
66042 | 109 |
"command": "isabelle.preview", |
110 |
"group": "navigation" |
|
111 |
}, |
|
112 |
{ |
|
67260
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
113 |
"when": "editorLangId == isabelle-ml", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
114 |
"command": "isabelle.preview", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
115 |
"group": "navigation" |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
116 |
}, |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
117 |
{ |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
118 |
"when": "editorLangId == bibtex", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
119 |
"command": "isabelle.preview", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
120 |
"group": "navigation" |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
121 |
}, |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
122 |
{ |
66042 | 123 |
"when": "editorLangId == isabelle", |
65985 | 124 |
"command": "isabelle.preview-split", |
125 |
"group": "navigation" |
|
126 |
}, |
|
127 |
{ |
|
67260
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
128 |
"when": "editorLangId == isabelle-ml", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
129 |
"command": "isabelle.preview-split", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
130 |
"group": "navigation" |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
131 |
}, |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
132 |
{ |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
133 |
"when": "editorLangId == bibtex", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
134 |
"command": "isabelle.preview-split", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
135 |
"group": "navigation" |
65985 | 136 |
} |
137 |
], |
|
138 |
"explorer/context": [ |
|
139 |
{ |
|
140 |
"when": "resourceLangId == isabelle", |
|
141 |
"command": "isabelle.preview", |
|
142 |
"group": "navigation" |
|
67260
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
143 |
}, |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
144 |
{ |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
145 |
"when": "resourceLangId == isabelle-ml", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
146 |
"command": "isabelle.preview", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
147 |
"group": "navigation" |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
148 |
}, |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
149 |
{ |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
150 |
"when": "resourceLangId == bibtex", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
151 |
"command": "isabelle.preview", |
ecd607631bc7
uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents:
67254
diff
changeset
|
152 |
"group": "navigation" |
65985 | 153 |
} |
154 |
] |
|
155 |
}, |
|
64605 | 156 |
"languages": [ |
157 |
{ |
|
158 |
"id": "isabelle", |
|
66095 | 159 |
"aliases": [ |
160 |
"Isabelle" |
|
161 |
], |
|
162 |
"extensions": [ |
|
163 |
".thy" |
|
164 |
], |
|
64736 | 165 |
"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
|
166 |
}, |
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 |
"id": "isabelle-ml", |
66095 | 169 |
"aliases": [ |
170 |
"Isabelle/ML" |
|
171 |
], |
|
172 |
"extensions": [ |
|
173 |
".ML", |
|
174 |
".sml", |
|
175 |
".sig" |
|
176 |
], |
|
64752 | 177 |
"configuration": "./isabelle-ml-language.json" |
64605 | 178 |
} |
179 |
], |
|
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
|
180 |
"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
|
181 |
{ |
64738
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
182 |
"language": "isabelle", |
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
183 |
"scopeName": "source.isabelle", |
bcdecd466cb2
generate static TextMate grammar for VSCode editor;
wenzelm
parents:
64736
diff
changeset
|
184 |
"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
|
185 |
}, |
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
|
186 |
{ |
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
|
187 |
"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
|
188 |
"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
|
189 |
"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
|
190 |
} |
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
|
191 |
], |
64605 | 192 |
"configuration": { |
193 |
"title": "Isabelle", |
|
194 |
"properties": { |
|
64743 | 195 |
"isabelle.args": { |
64734 | 196 |
"type": "array", |
66095 | 197 |
"items": { |
198 |
"type": "string" |
|
199 |
}, |
|
64734 | 200 |
"default": [], |
64755 | 201 |
"description": "Command-line arguments for isabelle vscode_server process." |
65104
66b19d05dcee
decorations for background and foreground colors;
wenzelm
parents:
65098
diff
changeset
|
202 |
}, |
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
203 |
"isabelle.replacement": { |
73170 | 204 |
"type": "string", |
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
205 |
"default": "non-alphanumeric", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
206 |
"enum": [ |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
207 |
"none", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
208 |
"non-alphanumeric", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
209 |
"all" |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
210 |
], |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
211 |
"enumDescriptions": [ |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
212 |
"Replacments are deactivated. No replacments are done.", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
213 |
"Replaces all uniqe abbreviations that contain no alphanumeric characters", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
214 |
"Replaces all uniqe abbreviations" |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
215 |
], |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
216 |
"description": "Symbol replacement mode." |
73170 | 217 |
}, |
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
218 |
"isabelle.always_open_thys": { |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
219 |
"type": "boolean", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
220 |
"default": false, |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
221 |
"description": "Always open '.thy' files as Isabelle theories." |
73170 | 222 |
}, |
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
223 |
"isabelle.text_color": { |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
224 |
"type": "object", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
225 |
"additionalProperties": { |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
226 |
"type": "string" |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
227 |
}, |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
228 |
"default": { |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
229 |
"unprocessed_light": "rgba(255, 160, 160, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
230 |
"unprocessed_dark": "rgba(97, 0, 97, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
231 |
"unprocessed1_light": "rgba(255, 160, 160, 0.20)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
232 |
"unprocessed1_dark": "rgba(97, 0, 97, 0.20)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
233 |
"running_light": "rgba(97, 0, 97, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
234 |
"running_dark": "rgba(255, 160, 160, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
235 |
"running1_light": "rgba(97, 0, 97, 0.40)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
236 |
"running1_dark": "rgba(255, 160, 160, 0.40)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
237 |
"canceled_light": "rgba(255, 106, 106, 0.40)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
238 |
"canceled_dark": "rgba(255, 106, 106, 0.40)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
239 |
"bad_light": "rgba(255, 106, 106, 0.40)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
240 |
"bad_dark": "rgba(255, 106, 106, 0.40)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
241 |
"intensify_light": "rgba(255, 204, 102, 0.40)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
242 |
"intensify_dark": "rgba(204, 136, 0, 0.20)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
243 |
"markdown_bullet1_light": "rgba(218, 254, 218, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
244 |
"markdown_bullet1_dark": "rgba(5, 199, 5, 0.20)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
245 |
"markdown_bullet2_light": "rgba(255, 240, 204, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
246 |
"markdown_bullet2_dark": "rgba(204, 143, 0, 0.20)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
247 |
"markdown_bullet3_light": "rgba(231, 231, 255, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
248 |
"markdown_bullet3_dark": "rgba(0, 0, 204, 0.20)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
249 |
"markdown_bullet4_light": "rgba(255, 224, 240, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
250 |
"markdown_bullet4_dark": "rgba(204, 0, 105, 0.20)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
251 |
"quoted_light": "rgba(139, 139, 139, 0.10)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
252 |
"quoted_dark": "rgba(150, 150, 150, 0.15)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
253 |
"antiquoted_light": "rgba(255, 200, 50, 0.10)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
254 |
"antiquoted_dark": "rgba(255, 214, 102, 0.15)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
255 |
"writeln_light": "rgba(192, 192, 192, 1.0)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
256 |
"writeln_dark": "rgba(192, 192, 192, 1.0)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
257 |
"information_light": "rgba(193, 223, 238, 1.0)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
258 |
"information_dark": "rgba(193, 223, 238, 1.0)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
259 |
"warning_light": "rgba(255, 140, 0, 1.0)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
260 |
"warning_dark": "rgba(255, 140, 0, 1.0)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
261 |
"error_light": "rgba(178, 34, 34, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
262 |
"error_dark": "rgba(178, 34, 34, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
263 |
"spell_checker_light": "rgba(0, 0, 255, 1.0)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
264 |
"spell_checker_dark": "rgba(86, 156, 214, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
265 |
"main_light": "rgba(0, 0, 0, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
266 |
"main_dark": "rgba(212, 212, 212, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
267 |
"keyword1_light": "rgba(175, 0, 219, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
268 |
"keyword1_dark": "rgba(197, 134, 192, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
269 |
"keyword2_light": "rgba(9, 136, 90, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
270 |
"keyword2_dark": "rgba(181, 206, 168, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
271 |
"keyword3_light": "rgba(38, 127, 153, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
272 |
"keyword3_dark": "rgba(78, 201, 176), 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
273 |
"quasi_keyword_light": "rgba(153, 102, 255, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
274 |
"quasi_keyword_dark": "rgba(153, 102, 255, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
275 |
"improper_light": "rgba(205, 49, 49, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
276 |
"improper_dark": "rgba(244, 71, 71, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
277 |
"operator_light": "rgba(50, 50, 50, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
278 |
"operator_dark": "rgba(212, 212, 212, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
279 |
"tfree_light": "rgba(160, 32, 240, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
280 |
"tfree_dark": "rgba(160, 32, 240, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
281 |
"tvar_light": "rgba(160, 32, 240, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
282 |
"tvar_dark": "rgba(160, 32, 240, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
283 |
"free_light": "rgba(0, 0, 255, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
284 |
"free_dark": "rgba(86, 156, 214, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
285 |
"skolem_light": "rgba(210, 105, 30, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
286 |
"skolem_dark": "rgba(210, 105, 30, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
287 |
"bound_light": "rgba(0, 128, 0, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
288 |
"bound_dark": "rgba(96, 139, 78, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
289 |
"var_light": "rgba(0, 16, 128, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
290 |
"var_dark": "rgba(156, 220, 254, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
291 |
"inner_numeral_light": "rgba(9, 136, 90, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
292 |
"inner_numeral_dark": "rgba(181, 206, 168, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
293 |
"inner_quoted_light": "rgba(163, 21, 21, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
294 |
"inner_quoted_dark": "rgba(206, 145, 120, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
295 |
"inner_cartouche_light": "rgba(129, 31, 63, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
296 |
"inner_cartouche_dark": "rgba(209, 105, 105, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
297 |
"inner_comment_light": "rgba(0, 128, 0, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
298 |
"inner_comment_dark": "rgba(96, 139, 78, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
299 |
"comment1_light": "rgba(129, 31, 63, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
300 |
"comment1_dark": "rgba(100, 102, 149, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
301 |
"comment2_light": "rgba(209, 105, 105, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
302 |
"comment2_dark": "rgba(206, 155, 120, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
303 |
"comment3_light": "rgba(0, 128, 0, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
304 |
"comment3_dark": "rgba(96, 139, 78, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
305 |
"dynamic_light": "rgba(121, 94, 38, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
306 |
"dynamic_dark": "rgba(220, 220, 170, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
307 |
"class_parameter_light": "rgba(210, 105, 30, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
308 |
"class_parameter_dark": "rgba(210, 105, 30, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
309 |
"antiquote_light": "rgba(102, 0, 204, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
310 |
"antiquote_dark": "rgba(197, 134, 192, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
311 |
"raw_text_light": "rgba(102, 0, 204, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
312 |
"raw_text_dark": "rgba(197, 134, 192, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
313 |
"plain_text_light": "rgba(102, 0, 204, 1.00)", |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
314 |
"plain_text_dark": "rgba(197, 134, 192, 1.00)" |
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
315 |
} |
73170 | 316 |
} |
64605 | 317 |
} |
318 |
} |
|
319 |
}, |
|
320 |
"scripts": { |
|
321 |
"vscode:prepublish": "tsc -p ./", |
|
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
322 |
"compile": "tsc -watch -p ./" |
64605 | 323 |
}, |
324 |
"devDependencies": { |
|
67804 | 325 |
"@types/mocha": "^2.2.48", |
73544 | 326 |
"@types/node": "^10.11.0", |
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
327 |
"@types/vscode": "^1.34.0", |
66673 | 328 |
"mocha": "^3.5.3", |
75126
da1108a6d249
various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents:
75093
diff
changeset
|
329 |
"typescript": "^3.9.9" |
64605 | 330 |
}, |
331 |
"dependencies": { |
|
73543 | 332 |
"vscode-languageclient": "~5.2.1", |
333 |
"vscode-languageserver-types": "~3.16.0" |
|
64605 | 334 |
} |
65192 | 335 |
} |