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