src/Tools/VSCode/extension/package.json
author wenzelm
Sat Sep 01 20:25:53 2018 +0200 (10 months ago)
changeset 68872 cd7ab35aa40c
parent 68871 f5c76072db55
child 69320 fc221fa79741
permissions -rw-r--r--
updated version;
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@66095
   221
                "isabelle.unprocessed_light_color": {
wenzelm@66095
   222
                    "type": "string",
wenzelm@66095
   223
                    "default": "rgba(255, 160, 160, 1.00)"
wenzelm@66095
   224
                },
wenzelm@66095
   225
                "isabelle.unprocessed_dark_color": {
wenzelm@66095
   226
                    "type": "string",
wenzelm@66095
   227
                    "default": "rgba(97, 0, 97, 1.00)"
wenzelm@66095
   228
                },
wenzelm@66095
   229
                "isabelle.unprocessed1_light_color": {
wenzelm@66095
   230
                    "type": "string",
wenzelm@66095
   231
                    "default": "rgba(255, 160, 160, 0.20)"
wenzelm@66095
   232
                },
wenzelm@66095
   233
                "isabelle.unprocessed1_dark_color": {
wenzelm@66095
   234
                    "type": "string",
wenzelm@66095
   235
                    "default": "rgba(97, 0, 97, 0.20)"
wenzelm@66095
   236
                },
wenzelm@66095
   237
                "isabelle.running_light_color": {
wenzelm@66095
   238
                    "type": "string",
wenzelm@66095
   239
                    "default": "rgba(97, 0, 97, 1.00)"
wenzelm@66095
   240
                },
wenzelm@66095
   241
                "isabelle.running_dark_color": {
wenzelm@66095
   242
                    "type": "string",
wenzelm@66095
   243
                    "default": "rgba(255, 160, 160, 1.00)"
wenzelm@66095
   244
                },
wenzelm@66095
   245
                "isabelle.running1_light_color": {
wenzelm@66095
   246
                    "type": "string",
wenzelm@66095
   247
                    "default": "rgba(97, 0, 97, 0.40)"
wenzelm@66095
   248
                },
wenzelm@66095
   249
                "isabelle.running1_dark_color": {
wenzelm@66095
   250
                    "type": "string",
wenzelm@66095
   251
                    "default": "rgba(255, 160, 160, 0.40)"
wenzelm@66095
   252
                },
wenzelm@68871
   253
                "isabelle.canceled_light_color": {
wenzelm@68871
   254
                    "type": "string",
wenzelm@68871
   255
                    "default": "rgba(255, 106, 106, 0.40)"
wenzelm@68871
   256
                },
wenzelm@68871
   257
                "isabelle.canceled_dark_color": {
wenzelm@68871
   258
                    "type": "string",
wenzelm@68871
   259
                    "default": "rgba(255, 106, 106, 0.40)"
wenzelm@68871
   260
                },
wenzelm@66095
   261
                "isabelle.bad_light_color": {
wenzelm@66095
   262
                    "type": "string",
wenzelm@66095
   263
                    "default": "rgba(255, 106, 106, 0.40)"
wenzelm@66095
   264
                },
wenzelm@66095
   265
                "isabelle.bad_dark_color": {
wenzelm@66095
   266
                    "type": "string",
wenzelm@66095
   267
                    "default": "rgba(255, 106, 106, 0.40)"
wenzelm@66095
   268
                },
wenzelm@66095
   269
                "isabelle.intensify_light_color": {
wenzelm@66095
   270
                    "type": "string",
wenzelm@66095
   271
                    "default": "rgba(255, 204, 102, 0.40)"
wenzelm@66095
   272
                },
wenzelm@66095
   273
                "isabelle.intensify_dark_color": {
wenzelm@66095
   274
                    "type": "string",
wenzelm@66095
   275
                    "default": "rgba(204, 136, 0, 0.20)"
wenzelm@66095
   276
                },
wenzelm@67322
   277
                "isabelle.markdown_bullet1_light_color": {
wenzelm@66095
   278
                    "type": "string",
wenzelm@66095
   279
                    "default": "rgba(218, 254, 218, 1.00)"
wenzelm@66095
   280
                },
wenzelm@67322
   281
                "isabelle.markdown_bullet1_dark_color": {
wenzelm@66095
   282
                    "type": "string",
wenzelm@66095
   283
                    "default": "rgba(5, 199, 5, 0.20)"
wenzelm@66095
   284
                },
wenzelm@67322
   285
                "isabelle.markdown_bullet2_light_color": {
wenzelm@66095
   286
                    "type": "string",
wenzelm@66095
   287
                    "default": "rgba(255, 240, 204, 1.00)"
wenzelm@66095
   288
                },
wenzelm@67322
   289
                "isabelle.markdown_bullet2_dark_color": {
wenzelm@66095
   290
                    "type": "string",
wenzelm@66095
   291
                    "default": "rgba(204, 143, 0, 0.20)"
wenzelm@66095
   292
                },
wenzelm@67322
   293
                "isabelle.markdown_bullet3_light_color": {
wenzelm@66095
   294
                    "type": "string",
wenzelm@66095
   295
                    "default": "rgba(231, 231, 255, 1.00)"
wenzelm@66095
   296
                },
wenzelm@67322
   297
                "isabelle.markdown_bullet3_dark_color": {
wenzelm@66095
   298
                    "type": "string",
wenzelm@66095
   299
                    "default": "rgba(0, 0, 204, 0.20)"
wenzelm@66095
   300
                },
wenzelm@67322
   301
                "isabelle.markdown_bullet4_light_color": {
wenzelm@66095
   302
                    "type": "string",
wenzelm@66095
   303
                    "default": "rgba(255, 224, 240, 1.00)"
wenzelm@66095
   304
                },
wenzelm@67322
   305
                "isabelle.markdown_bullet4_dark_color": {
wenzelm@66095
   306
                    "type": "string",
wenzelm@66095
   307
                    "default": "rgba(204, 0, 105, 0.20)"
wenzelm@66095
   308
                },
wenzelm@66095
   309
                "isabelle.quoted_light_color": {
wenzelm@66095
   310
                    "type": "string",
wenzelm@66095
   311
                    "default": "rgba(139, 139, 139, 0.10)"
wenzelm@66095
   312
                },
wenzelm@66095
   313
                "isabelle.quoted_dark_color": {
wenzelm@66095
   314
                    "type": "string",
wenzelm@66095
   315
                    "default": "rgba(150, 150, 150, 0.15)"
wenzelm@66095
   316
                },
wenzelm@66095
   317
                "isabelle.antiquoted_light_color": {
wenzelm@66095
   318
                    "type": "string",
wenzelm@66095
   319
                    "default": "rgba(255, 200, 50, 0.10)"
wenzelm@66095
   320
                },
wenzelm@66095
   321
                "isabelle.antiquoted_dark_color": {
wenzelm@66095
   322
                    "type": "string",
wenzelm@66095
   323
                    "default": "rgba(255, 214, 102, 0.15)"
wenzelm@66095
   324
                },
wenzelm@66095
   325
                "isabelle.writeln_light_color": {
wenzelm@66095
   326
                    "type": "string",
wenzelm@66095
   327
                    "default": "rgba(192, 192, 192, 1.0)"
wenzelm@66095
   328
                },
wenzelm@66095
   329
                "isabelle.writeln_dark_color": {
wenzelm@66095
   330
                    "type": "string",
wenzelm@66095
   331
                    "default": "rgba(192, 192, 192, 1.0)"
wenzelm@66095
   332
                },
wenzelm@66095
   333
                "isabelle.information_light_color": {
wenzelm@66095
   334
                    "type": "string",
wenzelm@66095
   335
                    "default": "rgba(193, 223, 238, 1.0)"
wenzelm@66095
   336
                },
wenzelm@66095
   337
                "isabelle.information_dark_color": {
wenzelm@66095
   338
                    "type": "string",
wenzelm@66095
   339
                    "default": "rgba(193, 223, 238, 1.0)"
wenzelm@66095
   340
                },
wenzelm@66095
   341
                "isabelle.warning_light_color": {
wenzelm@66095
   342
                    "type": "string",
wenzelm@66095
   343
                    "default": "rgba(255, 140, 0, 1.0)"
wenzelm@66095
   344
                },
wenzelm@66095
   345
                "isabelle.warning_dark_color": {
wenzelm@66095
   346
                    "type": "string",
wenzelm@66095
   347
                    "default": "rgba(255, 140, 0, 1.0)"
wenzelm@66095
   348
                },
wenzelm@66095
   349
                "isabelle.error_light_color": {
wenzelm@66095
   350
                    "type": "string",
wenzelm@66095
   351
                    "default": "rgba(178, 34, 34, 1.00)"
wenzelm@66095
   352
                },
wenzelm@66095
   353
                "isabelle.error_dark_color": {
wenzelm@66095
   354
                    "type": "string",
wenzelm@66095
   355
                    "default": "rgba(178, 34, 34, 1.00)"
wenzelm@66095
   356
                },
wenzelm@66095
   357
                "isabelle.spell_checker_light_color": {
wenzelm@66095
   358
                    "type": "string",
wenzelm@66095
   359
                    "default": "rgba(0, 0, 255, 1.0)"
wenzelm@66095
   360
                },
wenzelm@66095
   361
                "isabelle.spell_checker_dark_color": {
wenzelm@66095
   362
                    "type": "string",
wenzelm@66095
   363
                    "default": "rgba(86, 156, 214, 1.00)"
wenzelm@66095
   364
                },
wenzelm@66095
   365
                "isabelle.main_light_color": {
wenzelm@66095
   366
                    "type": "string",
wenzelm@66095
   367
                    "default": "rgba(0, 0, 0, 1.00)"
wenzelm@66095
   368
                },
wenzelm@66095
   369
                "isabelle.main_dark_color": {
wenzelm@66095
   370
                    "type": "string",
wenzelm@66095
   371
                    "default": "rgba(212, 212, 212, 1.00)"
wenzelm@66095
   372
                },
wenzelm@66095
   373
                "isabelle.keyword1_light_color": {
wenzelm@66095
   374
                    "type": "string",
wenzelm@66095
   375
                    "default": "rgba(175, 0, 219, 1.00)"
wenzelm@66095
   376
                },
wenzelm@66095
   377
                "isabelle.keyword1_dark_color": {
wenzelm@66095
   378
                    "type": "string",
wenzelm@66095
   379
                    "default": "rgba(197, 134, 192, 1.00)"
wenzelm@66095
   380
                },
wenzelm@66095
   381
                "isabelle.keyword2_light_color": {
wenzelm@66095
   382
                    "type": "string",
wenzelm@66095
   383
                    "default": "rgba(9, 136, 90, 1.00)"
wenzelm@66095
   384
                },
wenzelm@66095
   385
                "isabelle.keyword2_dark_color": {
wenzelm@66095
   386
                    "type": "string",
wenzelm@66095
   387
                    "default": "rgba(181, 206, 168, 1.00)"
wenzelm@66095
   388
                },
wenzelm@66095
   389
                "isabelle.keyword3_light_color": {
wenzelm@66095
   390
                    "type": "string",
wenzelm@66095
   391
                    "default": "rgba(38, 127, 153, 1.00)"
wenzelm@66095
   392
                },
wenzelm@66095
   393
                "isabelle.keyword3_dark_color": {
wenzelm@66095
   394
                    "type": "string",
wenzelm@66095
   395
                    "default": "rgba(78, 201, 176), 1.00)"
wenzelm@66095
   396
                },
wenzelm@66095
   397
                "isabelle.quasi_keyword_light_color": {
wenzelm@66095
   398
                    "type": "string",
wenzelm@66095
   399
                    "default": "rgba(153, 102, 255, 1.00)"
wenzelm@66095
   400
                },
wenzelm@66095
   401
                "isabelle.quasi_keyword_dark_color": {
wenzelm@66095
   402
                    "type": "string",
wenzelm@66095
   403
                    "default": "rgba(153, 102, 255, 1.00)"
wenzelm@66095
   404
                },
wenzelm@66095
   405
                "isabelle.improper_light_color": {
wenzelm@66095
   406
                    "type": "string",
wenzelm@66095
   407
                    "default": "rgba(205, 49, 49, 1.00)"
wenzelm@66095
   408
                },
wenzelm@66095
   409
                "isabelle.improper_dark_color": {
wenzelm@66095
   410
                    "type": "string",
wenzelm@66095
   411
                    "default": "rgba(244, 71, 71, 1.00)"
wenzelm@66095
   412
                },
wenzelm@66095
   413
                "isabelle.operator_light_color": {
wenzelm@66095
   414
                    "type": "string",
wenzelm@66095
   415
                    "default": "rgba(50, 50, 50, 1.00)"
wenzelm@66095
   416
                },
wenzelm@66095
   417
                "isabelle.operator_dark_color": {
wenzelm@66095
   418
                    "type": "string",
wenzelm@66095
   419
                    "default": "rgba(212, 212, 212, 1.00)"
wenzelm@66095
   420
                },
wenzelm@66095
   421
                "isabelle.tfree_light_color": {
wenzelm@66095
   422
                    "type": "string",
wenzelm@66095
   423
                    "default": "rgba(160, 32, 240, 1.00)"
wenzelm@66095
   424
                },
wenzelm@66095
   425
                "isabelle.tfree_dark_color": {
wenzelm@66095
   426
                    "type": "string",
wenzelm@66095
   427
                    "default": "rgba(160, 32, 240, 1.00)"
wenzelm@66095
   428
                },
wenzelm@66095
   429
                "isabelle.tvar_light_color": {
wenzelm@66095
   430
                    "type": "string",
wenzelm@66095
   431
                    "default": "rgba(160, 32, 240, 1.00)"
wenzelm@66095
   432
                },
wenzelm@66095
   433
                "isabelle.tvar_dark_color": {
wenzelm@66095
   434
                    "type": "string",
wenzelm@66095
   435
                    "default": "rgba(160, 32, 240, 1.00)"
wenzelm@66095
   436
                },
wenzelm@66095
   437
                "isabelle.free_light_color": {
wenzelm@66095
   438
                    "type": "string",
wenzelm@66095
   439
                    "default": "rgba(0, 0, 255, 1.00)"
wenzelm@66095
   440
                },
wenzelm@66095
   441
                "isabelle.free_dark_color": {
wenzelm@66095
   442
                    "type": "string",
wenzelm@66095
   443
                    "default": "rgba(86, 156, 214, 1.00)"
wenzelm@66095
   444
                },
wenzelm@66095
   445
                "isabelle.skolem_light_color": {
wenzelm@66095
   446
                    "type": "string",
wenzelm@66095
   447
                    "default": "rgba(210, 105, 30, 1.00)"
wenzelm@66095
   448
                },
wenzelm@66095
   449
                "isabelle.skolem_dark_color": {
wenzelm@66095
   450
                    "type": "string",
wenzelm@66095
   451
                    "default": "rgba(210, 105, 30, 1.00)"
wenzelm@66095
   452
                },
wenzelm@66095
   453
                "isabelle.bound_light_color": {
wenzelm@66095
   454
                    "type": "string",
wenzelm@66095
   455
                    "default": "rgba(0, 128, 0, 1.00)"
wenzelm@66095
   456
                },
wenzelm@66095
   457
                "isabelle.bound_dark_color": {
wenzelm@66095
   458
                    "type": "string",
wenzelm@66095
   459
                    "default": "rgba(96, 139, 78, 1.00)"
wenzelm@66095
   460
                },
wenzelm@66095
   461
                "isabelle.var_light_color": {
wenzelm@66095
   462
                    "type": "string",
wenzelm@66095
   463
                    "default": "rgba(0, 16, 128, 1.00)"
wenzelm@66095
   464
                },
wenzelm@66095
   465
                "isabelle.var_dark_color": {
wenzelm@66095
   466
                    "type": "string",
wenzelm@66095
   467
                    "default": "rgba(156, 220, 254, 1.00)"
wenzelm@66095
   468
                },
wenzelm@66095
   469
                "isabelle.inner_numeral_light_color": {
wenzelm@66095
   470
                    "type": "string",
wenzelm@66095
   471
                    "default": "rgba(9, 136, 90, 1.00)"
wenzelm@66095
   472
                },
wenzelm@66095
   473
                "isabelle.inner_numeral_dark_color": {
wenzelm@66095
   474
                    "type": "string",
wenzelm@66095
   475
                    "default": "rgba(181, 206, 168, 1.00)"
wenzelm@66095
   476
                },
wenzelm@66095
   477
                "isabelle.inner_quoted_light_color": {
wenzelm@66095
   478
                    "type": "string",
wenzelm@66095
   479
                    "default": "rgba(163, 21, 21, 1.00)"
wenzelm@66095
   480
                },
wenzelm@66095
   481
                "isabelle.inner_quoted_dark_color": {
wenzelm@66095
   482
                    "type": "string",
wenzelm@66095
   483
                    "default": "rgba(206, 145, 120, 1.00)"
wenzelm@66095
   484
                },
wenzelm@66095
   485
                "isabelle.inner_cartouche_light_color": {
wenzelm@66095
   486
                    "type": "string",
wenzelm@66095
   487
                    "default": "rgba(129, 31, 63, 1.00)"
wenzelm@66095
   488
                },
wenzelm@66095
   489
                "isabelle.inner_cartouche_dark_color": {
wenzelm@66095
   490
                    "type": "string",
wenzelm@66095
   491
                    "default": "rgba(209, 105, 105, 1.00)"
wenzelm@66095
   492
                },
wenzelm@66095
   493
                "isabelle.inner_comment_light_color": {
wenzelm@66095
   494
                    "type": "string",
wenzelm@66095
   495
                    "default": "rgba(0, 128, 0, 1.00)"
wenzelm@66095
   496
                },
wenzelm@66095
   497
                "isabelle.inner_comment_dark_color": {
wenzelm@66095
   498
                    "type": "string",
wenzelm@66095
   499
                    "default": "rgba(96, 139, 78, 1.00)"
wenzelm@66095
   500
                },
wenzelm@66095
   501
                "isabelle.dynamic_light_color": {
wenzelm@66095
   502
                    "type": "string",
wenzelm@66095
   503
                    "default": "rgba(121, 94, 38, 1.00)"
wenzelm@66095
   504
                },
wenzelm@66095
   505
                "isabelle.dynamic_dark_color": {
wenzelm@66095
   506
                    "type": "string",
wenzelm@66095
   507
                    "default": "rgba(220, 220, 170, 1.00)"
wenzelm@66095
   508
                },
wenzelm@66095
   509
                "isabelle.class_parameter_light_color": {
wenzelm@66095
   510
                    "type": "string",
wenzelm@66095
   511
                    "default": "rgba(210, 105, 30, 1.00)"
wenzelm@66095
   512
                },
wenzelm@66095
   513
                "isabelle.class_parameter_dark_color": {
wenzelm@66095
   514
                    "type": "string",
wenzelm@66095
   515
                    "default": "rgba(210, 105, 30, 1.00)"
wenzelm@66095
   516
                },
wenzelm@66095
   517
                "isabelle.antiquote_light_color": {
wenzelm@66095
   518
                    "type": "string",
wenzelm@66095
   519
                    "default": "rgba(102, 0, 204, 1.00)"
wenzelm@66095
   520
                },
wenzelm@66095
   521
                "isabelle.antiquote_dark_color": {
wenzelm@66095
   522
                    "type": "string",
wenzelm@66095
   523
                    "default": "rgba(197, 134, 192, 1.00)"
wenzelm@66095
   524
                }
wenzelm@64605
   525
            }
wenzelm@64605
   526
        }
wenzelm@64605
   527
    },
wenzelm@64605
   528
    "scripts": {
wenzelm@64605
   529
        "vscode:prepublish": "tsc -p ./",
wenzelm@64605
   530
        "compile": "tsc -watch -p ./",
wenzelm@64605
   531
        "postinstall": "node ./node_modules/vscode/bin/install"
wenzelm@64605
   532
    },
wenzelm@64605
   533
    "devDependencies": {
wenzelm@67804
   534
        "@types/mocha": "^2.2.48",
wenzelm@68449
   535
        "@types/node": "^7.0.66",
wenzelm@66673
   536
        "mocha": "^3.5.3",
wenzelm@68449
   537
        "typescript": "^2.9.2",
wenzelm@68449
   538
        "vscode": "^1.1.18"
wenzelm@64605
   539
    },
wenzelm@64605
   540
    "dependencies": {
wenzelm@65886
   541
        "vscode-languageclient": "~3.2.2"
wenzelm@64605
   542
    }
wenzelm@65192
   543
}