src/Tools/VSCode/extension/package.json
author wenzelm
Wed Nov 21 14:45:24 2018 +0100 (6 months ago)
changeset 69321 42b91ee343ee
parent 69320 fc221fa79741
child 69323 7698ad5d7036
permissions -rw-r--r--
tuned;
wenzelm@64605
     1
{
wenzelm@68870
     2
    "name": "isabelle",
wenzelm@68870
     3
    "displayName": "Isabelle",
wenzelm@64757
     4
    "description": "Isabelle Prover IDE",
wenzelm@64605
     5
    "keywords": [
wenzelm@64605
     6
        "theorem prover",
wenzelm@64605
     7
        "formalized mathematics",
wenzelm@64605
     8
        "mathematical logic",
wenzelm@64605
     9
        "functional programming",
wenzelm@64605
    10
        "document preparation"
wenzelm@66095
    11
    ],
wenzelm@64605
    12
    "icon": "isabelle.png",
wenzelm@68872
    13
    "version": "1.1.1",
wenzelm@64696
    14
    "publisher": "makarius",
wenzelm@65091
    15
    "license": "MIT",
wenzelm@66095
    16
    "repository": {
wenzelm@67744
    17
        "url": "https://isabelle.in.tum.de/repos/isabelle"
wenzelm@66095
    18
    },
wenzelm@66095
    19
    "engines": {
wenzelm@66095
    20
        "vscode": "^1.8.0"
wenzelm@66095
    21
    },
wenzelm@66095
    22
    "categories": [
wenzelm@66095
    23
        "Languages"
wenzelm@66095
    24
    ],
wenzelm@64605
    25
    "activationEvents": [
wenzelm@64750
    26
        "onLanguage:isabelle",
wenzelm@65983
    27
        "onLanguage:isabelle-ml",
wenzelm@67260
    28
        "onLanguage:bibtex",
wenzelm@65983
    29
        "onCommand:isabelle.preview",
wenzelm@65985
    30
        "onCommand:isabelle.preview-split",
wenzelm@65983
    31
        "onCommand:isabelle.preview-source"
wenzelm@64605
    32
    ],
wenzelm@64605
    33
    "main": "./out/src/extension",
wenzelm@64605
    34
    "contributes": {
wenzelm@65958
    35
        "commands": [
wenzelm@65958
    36
            {
wenzelm@66096
    37
                "command": "isabelle.state",
wenzelm@66225
    38
                "title": "Show State",
wenzelm@66096
    39
                "category": "Isabelle"
wenzelm@66096
    40
            },
wenzelm@66096
    41
            {
wenzelm@65985
    42
                "command": "isabelle.preview",
wenzelm@65985
    43
                "title": "Open Preview",
wenzelm@65985
    44
                "category": "Isabelle",
wenzelm@65985
    45
                "icon": {
wenzelm@65985
    46
                    "light": "./media/Preview.svg",
wenzelm@65985
    47
                    "dark": "./media/Preview_inverse.svg"
wenzelm@65985
    48
                }
wenzelm@65985
    49
            },
wenzelm@65985
    50
            {
wenzelm@65986
    51
                "command": "isabelle.preview-update",
wenzelm@65986
    52
                "title": "Update Preview",
wenzelm@65986
    53
                "category": "Isabelle",
wenzelm@65986
    54
                "icon": {
wenzelm@65986
    55
                    "light": "./media/Preview.svg",
wenzelm@65986
    56
                    "dark": "./media/Preview_inverse.svg"
wenzelm@65986
    57
                }
wenzelm@65986
    58
            },
wenzelm@65986
    59
            {
wenzelm@65985
    60
                "command": "isabelle.preview-split",
wenzelm@65985
    61
                "title": "Open Preview (Split Editor)",
wenzelm@65985
    62
                "category": "Isabelle",
wenzelm@65985
    63
                "icon": {
wenzelm@65985
    64
                    "light": "./media/PreviewOnRightPane_16x.svg",
wenzelm@65985
    65
                    "dark": "./media/PreviewOnRightPane_16x_dark.svg"
wenzelm@65985
    66
                }
wenzelm@65985
    67
            },
wenzelm@65985
    68
            {
wenzelm@65985
    69
                "command": "isabelle.preview-source",
wenzelm@65985
    70
                "title": "Show Source",
wenzelm@65985
    71
                "category": "Isabelle",
wenzelm@65985
    72
                "icon": {
wenzelm@65985
    73
                    "light": "./media/ViewSource.svg",
wenzelm@65985
    74
                    "dark": "./media/ViewSource_inverse.svg"
wenzelm@65985
    75
                }
wenzelm@66138
    76
            },
wenzelm@66138
    77
            {
wenzelm@66138
    78
                "command": "isabelle.include-word",
wenzelm@66138
    79
                "title": "Include word",
wenzelm@66138
    80
                "category": "Isabelle"
wenzelm@66138
    81
            },
wenzelm@66138
    82
            {
wenzelm@66138
    83
                "command": "isabelle.include-word-permanently",
wenzelm@66138
    84
                "title": "Include word permanently",
wenzelm@66138
    85
                "category": "Isabelle"
wenzelm@66138
    86
            },
wenzelm@66138
    87
            {
wenzelm@66138
    88
                "command": "isabelle.exclude-word",
wenzelm@66138
    89
                "title": "Exclude word",
wenzelm@66138
    90
                "category": "Isabelle"
wenzelm@66138
    91
            },
wenzelm@66138
    92
            {
wenzelm@66138
    93
                "command": "isabelle.exclude-word-permanently",
wenzelm@66138
    94
                "title": "Exclude word permanently",
wenzelm@66138
    95
                "category": "Isabelle"
wenzelm@66138
    96
            },
wenzelm@66138
    97
            {
wenzelm@66138
    98
                "command": "isabelle.reset-words",
wenzelm@66138
    99
                "title": "Reset non-permanent words",
wenzelm@66138
   100
                "category": "Isabelle"
wenzelm@65958
   101
            }
wenzelm@65958
   102
        ],
wenzelm@65983
   103
        "menus": {
wenzelm@65985
   104
            "editor/title": [
wenzelm@65985
   105
                {
wenzelm@65985
   106
                    "when": "editorLangId == isabelle",
wenzelm@66042
   107
                    "command": "isabelle.preview",
wenzelm@66042
   108
                    "group": "navigation"
wenzelm@66042
   109
                },
wenzelm@66042
   110
                {
wenzelm@67260
   111
                    "when": "editorLangId == isabelle-ml",
wenzelm@67260
   112
                    "command": "isabelle.preview",
wenzelm@67260
   113
                    "group": "navigation"
wenzelm@67260
   114
                },
wenzelm@67260
   115
                {
wenzelm@67260
   116
                    "when": "editorLangId == bibtex",
wenzelm@67260
   117
                    "command": "isabelle.preview",
wenzelm@67260
   118
                    "group": "navigation"
wenzelm@67260
   119
                },
wenzelm@67260
   120
                {
wenzelm@66042
   121
                    "when": "editorLangId == isabelle",
wenzelm@65985
   122
                    "command": "isabelle.preview-split",
wenzelm@65985
   123
                    "group": "navigation"
wenzelm@65985
   124
                },
wenzelm@65985
   125
                {
wenzelm@67260
   126
                    "when": "editorLangId == isabelle-ml",
wenzelm@67260
   127
                    "command": "isabelle.preview-split",
wenzelm@67260
   128
                    "group": "navigation"
wenzelm@67260
   129
                },
wenzelm@67260
   130
                {
wenzelm@67260
   131
                    "when": "editorLangId == bibtex",
wenzelm@67260
   132
                    "command": "isabelle.preview-split",
wenzelm@67260
   133
                    "group": "navigation"
wenzelm@67260
   134
                },
wenzelm@67260
   135
                {
wenzelm@65985
   136
                    "when": "resourceScheme == isabelle-preview",
wenzelm@65986
   137
                    "command": "isabelle.preview-update",
wenzelm@65986
   138
                    "group": "navigation"
wenzelm@65986
   139
                },
wenzelm@65986
   140
                {
wenzelm@65986
   141
                    "when": "resourceScheme == isabelle-preview",
wenzelm@65985
   142
                    "command": "isabelle.preview-source",
wenzelm@65985
   143
                    "group": "navigation"
wenzelm@65985
   144
                }
wenzelm@65985
   145
            ],
wenzelm@65985
   146
            "explorer/context": [
wenzelm@65985
   147
                {
wenzelm@65985
   148
                    "when": "resourceLangId == isabelle",
wenzelm@65985
   149
                    "command": "isabelle.preview",
wenzelm@65985
   150
                    "group": "navigation"
wenzelm@67260
   151
                },
wenzelm@67260
   152
                {
wenzelm@67260
   153
                    "when": "resourceLangId == isabelle-ml",
wenzelm@67260
   154
                    "command": "isabelle.preview",
wenzelm@67260
   155
                    "group": "navigation"
wenzelm@67260
   156
                },
wenzelm@67260
   157
                {
wenzelm@67260
   158
                    "when": "resourceLangId == bibtex",
wenzelm@67260
   159
                    "command": "isabelle.preview",
wenzelm@67260
   160
                    "group": "navigation"
wenzelm@65985
   161
                }
wenzelm@65985
   162
            ]
wenzelm@65985
   163
        },
wenzelm@64605
   164
        "languages": [
wenzelm@64605
   165
            {
wenzelm@64605
   166
                "id": "isabelle",
wenzelm@66095
   167
                "aliases": [
wenzelm@66095
   168
                    "Isabelle"
wenzelm@66095
   169
                ],
wenzelm@66095
   170
                "extensions": [
wenzelm@66095
   171
                    ".thy"
wenzelm@66095
   172
                ],
wenzelm@64736
   173
                "configuration": "./isabelle-language.json"
wenzelm@64749
   174
            },
wenzelm@64749
   175
            {
wenzelm@64749
   176
                "id": "isabelle-ml",
wenzelm@66095
   177
                "aliases": [
wenzelm@66095
   178
                    "Isabelle/ML"
wenzelm@66095
   179
                ],
wenzelm@66095
   180
                "extensions": [
wenzelm@66095
   181
                    ".ML",
wenzelm@66095
   182
                    ".sml",
wenzelm@66095
   183
                    ".sig"
wenzelm@66095
   184
                ],
wenzelm@64752
   185
                "configuration": "./isabelle-ml-language.json"
wenzelm@64605
   186
            }
wenzelm@64605
   187
        ],
wenzelm@64749
   188
        "grammars": [
wenzelm@64749
   189
            {
wenzelm@64738
   190
                "language": "isabelle",
wenzelm@64738
   191
                "scopeName": "source.isabelle",
wenzelm@64738
   192
                "path": "./isabelle-grammar.json"
wenzelm@64749
   193
            },
wenzelm@64749
   194
            {
wenzelm@64749
   195
                "language": "isabelle-ml",
wenzelm@64749
   196
                "scopeName": "source.isabelle-ml",
wenzelm@64749
   197
                "path": "./isabelle-ml-grammar.json"
wenzelm@64749
   198
            }
wenzelm@64749
   199
        ],
wenzelm@64605
   200
        "configuration": {
wenzelm@64605
   201
            "title": "Isabelle",
wenzelm@64605
   202
            "properties": {
wenzelm@64605
   203
                "isabelle.home": {
wenzelm@64605
   204
                    "type": "string",
wenzelm@64605
   205
                    "default": "",
wenzelm@64755
   206
                    "description": "Main Isabelle directory (ISABELLE_HOME)."
wenzelm@64734
   207
                },
wenzelm@64743
   208
                "isabelle.args": {
wenzelm@64734
   209
                    "type": "array",
wenzelm@66095
   210
                    "items": {
wenzelm@66095
   211
                        "type": "string"
wenzelm@66095
   212
                    },
wenzelm@64734
   213
                    "default": [],
wenzelm@64755
   214
                    "description": "Command-line arguments for isabelle vscode_server process."
wenzelm@65104
   215
                },
wenzelm@65172
   216
                "isabelle.cygwin_root": {
wenzelm@65172
   217
                    "type": "string",
wenzelm@65172
   218
                    "default": "",
wenzelm@65172
   219
                    "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
wenzelm@65172
   220
                },
wenzelm@69321
   221
                "isabelle.unprocessed_light_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
wenzelm@69321
   222
                "isabelle.unprocessed_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
wenzelm@69321
   223
                "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
wenzelm@69321
   224
                "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
wenzelm@69321
   225
                "isabelle.running_light_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
wenzelm@69321
   226
                "isabelle.running_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
wenzelm@69321
   227
                "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" },
wenzelm@69321
   228
                "isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" },
wenzelm@69321
   229
                "isabelle.canceled_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
wenzelm@69321
   230
                "isabelle.canceled_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
wenzelm@69321
   231
                "isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
wenzelm@69321
   232
                "isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
wenzelm@69321
   233
                "isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.40)" },
wenzelm@69321
   234
                "isabelle.intensify_dark_color": { "type": "string", "default": "rgba(204, 136, 0, 0.20)" },
wenzelm@69321
   235
                "isabelle.markdown_bullet1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
wenzelm@69321
   236
                "isabelle.markdown_bullet1_dark_color": { "type": "string", "default": "rgba(5, 199, 5, 0.20)" },
wenzelm@69321
   237
                "isabelle.markdown_bullet2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
wenzelm@69321
   238
                "isabelle.markdown_bullet2_dark_color": { "type": "string", "default": "rgba(204, 143, 0, 0.20)" },
wenzelm@69321
   239
                "isabelle.markdown_bullet3_light_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
wenzelm@69321
   240
                "isabelle.markdown_bullet3_dark_color": { "type": "string", "default": "rgba(0, 0, 204, 0.20)" },
wenzelm@69321
   241
                "isabelle.markdown_bullet4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
wenzelm@69321
   242
                "isabelle.markdown_bullet4_dark_color": { "type": "string", "default": "rgba(204, 0, 105, 0.20)" },
wenzelm@69321
   243
                "isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
wenzelm@69321
   244
                "isabelle.quoted_dark_color": { "type": "string", "default": "rgba(150, 150, 150, 0.15)" },
wenzelm@69321
   245
                "isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
wenzelm@69321
   246
                "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 214, 102, 0.15)" },
wenzelm@69321
   247
                "isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
wenzelm@69321
   248
                "isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
wenzelm@69321
   249
                "isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
wenzelm@69321
   250
                "isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
wenzelm@69321
   251
                "isabelle.warning_light_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
wenzelm@69321
   252
                "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
wenzelm@69321
   253
                "isabelle.error_light_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
wenzelm@69321
   254
                "isabelle.error_dark_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
wenzelm@69321
   255
                "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
wenzelm@69321
   256
                "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
wenzelm@69321
   257
                "isabelle.main_light_color": { "type": "string", "default": "rgba(0, 0, 0, 1.00)" },
wenzelm@69321
   258
                "isabelle.main_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
wenzelm@69321
   259
                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
wenzelm@69321
   260
                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
wenzelm@69321
   261
                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
wenzelm@69321
   262
                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
wenzelm@69321
   263
                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" },
wenzelm@69321
   264
                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" },
wenzelm@69321
   265
                "isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
wenzelm@69321
   266
                "isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
wenzelm@69321
   267
                "isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" },
wenzelm@69321
   268
                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" },
wenzelm@69321
   269
                "isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
wenzelm@69321
   270
                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
wenzelm@69321
   271
                "isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm@69321
   272
                "isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm@69321
   273
                "isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm@69321
   274
                "isabelle.tvar_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm@69321
   275
                "isabelle.free_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.00)" },
wenzelm@69321
   276
                "isabelle.free_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
wenzelm@69321
   277
                "isabelle.skolem_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm@69321
   278
                "isabelle.skolem_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm@69321
   279
                "isabelle.bound_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
wenzelm@69321
   280
                "isabelle.bound_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
wenzelm@69321
   281
                "isabelle.var_light_color": { "type": "string", "default": "rgba(0, 16, 128, 1.00)" },
wenzelm@69321
   282
                "isabelle.var_dark_color": { "type": "string", "default": "rgba(156, 220, 254, 1.00)" },
wenzelm@69321
   283
                "isabelle.inner_numeral_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
wenzelm@69321
   284
                "isabelle.inner_numeral_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
wenzelm@69321
   285
                "isabelle.inner_quoted_light_color": { "type": "string", "default": "rgba(163, 21, 21, 1.00)" },
wenzelm@69321
   286
                "isabelle.inner_quoted_dark_color": { "type": "string", "default": "rgba(206, 145, 120, 1.00)" },
wenzelm@69321
   287
                "isabelle.inner_cartouche_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" },
wenzelm@69321
   288
                "isabelle.inner_cartouche_dark_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" },
wenzelm@69321
   289
                "isabelle.inner_comment_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
wenzelm@69321
   290
                "isabelle.inner_comment_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
wenzelm@69321
   291
                "isabelle.comment1_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" },
wenzelm@69321
   292
                "isabelle.comment1_dark_color": { "type": "string", "default": "rgba(100, 102, 149, 1.00)" },
wenzelm@69321
   293
                "isabelle.comment2_light_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" },
wenzelm@69321
   294
                "isabelle.comment2_dark_color": { "type": "string", "default": "rgba(206, 155, 120, 1.00)" },
wenzelm@69321
   295
                "isabelle.comment3_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
wenzelm@69321
   296
                "isabelle.comment3_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
wenzelm@69321
   297
                "isabelle.dynamic_light_color": { "type": "string", "default": "rgba(121, 94, 38, 1.00)" },
wenzelm@69321
   298
                "isabelle.dynamic_dark_color": { "type": "string", "default": "rgba(220, 220, 170, 1.00)" },
wenzelm@69321
   299
                "isabelle.class_parameter_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm@69321
   300
                "isabelle.class_parameter_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm@69321
   301
                "isabelle.antiquote_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
wenzelm@69321
   302
                "isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" }
wenzelm@64605
   303
            }
wenzelm@64605
   304
        }
wenzelm@64605
   305
    },
wenzelm@64605
   306
    "scripts": {
wenzelm@64605
   307
        "vscode:prepublish": "tsc -p ./",
wenzelm@64605
   308
        "compile": "tsc -watch -p ./",
wenzelm@64605
   309
        "postinstall": "node ./node_modules/vscode/bin/install"
wenzelm@64605
   310
    },
wenzelm@64605
   311
    "devDependencies": {
wenzelm@67804
   312
        "@types/mocha": "^2.2.48",
wenzelm@68449
   313
        "@types/node": "^7.0.66",
wenzelm@66673
   314
        "mocha": "^3.5.3",
wenzelm@68449
   315
        "typescript": "^2.9.2",
wenzelm@68449
   316
        "vscode": "^1.1.18"
wenzelm@64605
   317
    },
wenzelm@64605
   318
    "dependencies": {
wenzelm@65886
   319
        "vscode-languageclient": "~3.2.2"
wenzelm@64605
   320
    }
wenzelm@65192
   321
}