Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/package.json
author wenzelm
Wed, 07 Apr 2021 18:05:14 +0200
changeset 73540 a69197959ab6
parent 73171 b95844134b92
child 73542 e4fde6b3e09a
permissions -rw-r--r--
auto-update due to "isabelle build_vscode";
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     1
 
{
73167
490ca65ecae2 VSCode extension for official Isabelle release;
wenzelm
parents: 71557
diff changeset 
     2
 
    "name": "Isabelle2021",
490ca65ecae2 VSCode extension for official Isabelle release;
wenzelm
parents: 71557
diff changeset 
     3
 
    "displayName": "Isabelle2021",
64757
7e3924224769 updated package;
wenzelm
parents: 64755
diff changeset 
     4
 
    "description": "Isabelle Prover IDE",
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     5
 
    "keywords": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     6
 
        "theorem prover",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     7
 
        "formalized mathematics",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     8
 
        "mathematical logic",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     9
 
        "functional programming",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    10
 
        "document preparation"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    11
 
    ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    12
 
    "icon": "isabelle.png",
73167
490ca65ecae2 VSCode extension for official Isabelle release;
wenzelm
parents: 71557
diff changeset 
    13
 
    "version": "1.2.2",
64696
e991a4fab0dc publish extension on Visual Studio Marketplace;
wenzelm
parents: 64695
diff changeset 
    14
 
    "publisher": "makarius",
65091
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents: 64949
diff changeset 
    15
 
    "license": "MIT",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    16
 
    "repository": {
71482
aa7b0a5e9fe3 updated for release;
wenzelm
parents: 71481
diff changeset 
    17
 
        "url": "https://isabelle-dev.sketis.net"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    18
 
    },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    19
 
    "engines": {
71473
be84312a2d53 update to WebviewPanel API, following initial version by Peter Zeller;
wenzelm
parents: 70265
diff changeset 
    20
 
        "vscode": "^1.32.0"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    21
 
    },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    22
 
    "categories": [
71482
aa7b0a5e9fe3 updated for release;
wenzelm
parents: 71481
diff changeset 
    23
 
        "Programming Languages"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    24
 
    ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    25
 
    "activationEvents": [
64750
1f855e03455f proper use of isabelle-ml;
wenzelm
parents: 64749
diff changeset 
    26
 
        "onLanguage:isabelle",
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    27
 
        "onLanguage:isabelle-ml",
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    28
 
        "onLanguage:bibtex",
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    29
 
        "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 
    30
 
        "onCommand:isabelle.preview-split"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    31
 
    ],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    32
 
    "main": "./out/src/extension",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    33
 
    "contributes": {
65958
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    34
 
        "commands": [
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    35
 
            {
66096
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    36
 
                "command": "isabelle.state",
66225
wenzelm
parents: 66222
diff changeset 
    37
 
                "title": "Show State",
66096
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    38
 
                "category": "Isabelle"
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    39
 
            },
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    40
 
            {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    41
 
                "command": "isabelle.preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    42
 
                "title": "Open Preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    43
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    44
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    45
 
                    "light": "./media/Preview.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    46
 
                    "dark": "./media/Preview_inverse.svg"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    47
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    48
 
            },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    49
 
            {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    50
 
                "command": "isabelle.preview-split",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    51
 
                "title": "Open Preview (Split Editor)",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    52
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    53
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    54
 
                    "light": "./media/PreviewOnRightPane_16x.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    55
 
                    "dark": "./media/PreviewOnRightPane_16x_dark.svg"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    56
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    57
 
            },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    58
 
            {
66138
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    59
 
                "command": "isabelle.include-word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    60
 
                "title": "Include word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    61
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    62
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    63
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    64
 
                "command": "isabelle.include-word-permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    65
 
                "title": "Include word permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    66
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    67
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    68
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    69
 
                "command": "isabelle.exclude-word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    70
 
                "title": "Exclude word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    71
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    72
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    73
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    74
 
                "command": "isabelle.exclude-word-permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    75
 
                "title": "Exclude word permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    76
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    77
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    78
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    79
 
                "command": "isabelle.reset-words",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    80
 
                "title": "Reset non-permanent words",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    81
 
                "category": "Isabelle"
65958
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    82
 
            }
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    83
 
        ],
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    84
 
        "menus": {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    85
 
            "editor/title": [
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    86
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    87
 
                    "when": "editorLangId == isabelle",
66042
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    88
 
                    "command": "isabelle.preview",
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    89
 
                    "group": "navigation"
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    90
 
                },
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    91
 
                {
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    92
 
                    "when": "editorLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    93
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    94
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    95
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    96
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    97
 
                    "when": "editorLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    98
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    99
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   100
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   101
 
                {
66042
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
   102
 
                    "when": "editorLangId == isabelle",
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   103
 
                    "command": "isabelle.preview-split",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   104
 
                    "group": "navigation"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   105
 
                },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   106
 
                {
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   107
 
                    "when": "editorLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   108
 
                    "command": "isabelle.preview-split",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   109
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   110
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   111
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   112
 
                    "when": "editorLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   113
 
                    "command": "isabelle.preview-split",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   114
 
                    "group": "navigation"
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   115
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   116
 
            ],
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   117
 
            "explorer/context": [
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   118
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   119
 
                    "when": "resourceLangId == isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   120
 
                    "command": "isabelle.preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   121
 
                    "group": "navigation"
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   122
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   123
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   124
 
                    "when": "resourceLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   125
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   126
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   127
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   128
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   129
 
                    "when": "resourceLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   130
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   131
 
                    "group": "navigation"
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   132
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   133
 
            ]
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   134
 
        },
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   135
 
        "languages": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   136
 
            {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   137
 
                "id": "isabelle",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   138
 
                "aliases": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   139
 
                    "Isabelle"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   140
 
                ],
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   141
 
                "extensions": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   142
 
                    ".thy"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   143
 
                ],
64736
07bf45283b92 clarified file name;
wenzelm
parents: 64735
diff changeset 
   144
 
                "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 
   145
 
            },
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 
   146
 
            {
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 
   147
 
                "id": "isabelle-ml",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   148
 
                "aliases": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   149
 
                    "Isabelle/ML"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   150
 
                ],
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   151
 
                "extensions": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   152
 
                    ".ML",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   153
 
                    ".sml",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   154
 
                    ".sig"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   155
 
                ],
64752
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents: 64750
diff changeset 
   156
 
                "configuration": "./isabelle-ml-language.json"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   157
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   158
 
        ],
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 
   159
 
        "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 
   160
 
            {
64738
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   161
 
                "language": "isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   162
 
                "scopeName": "source.isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   163
 
                "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 
   164
 
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   165
 
            {
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
 
                "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 
   167
 
                "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 
   168
 
                "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 
   169
 
            }
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 
   170
 
        ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   171
 
        "configuration": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   172
 
            "title": "Isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   173
 
            "properties": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   174
 
                "isabelle.home": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   175
 
                    "type": "string",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   176
 
                    "default": "",
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64752
diff changeset 
   177
 
                    "description": "Main Isabelle directory (ISABELLE_HOME)."
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   178
 
                },
64743
wenzelm
parents: 64738
diff changeset 
   179
 
                "isabelle.args": {
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   180
 
                    "type": "array",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   181
 
                    "items": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   182
 
                        "type": "string"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   183
 
                    },
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   184
 
                    "default": [],
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64752
diff changeset 
   185
 
                    "description": "Command-line arguments for isabelle vscode_server process."
65104
66b19d05dcee decorations for background and foreground colors;
wenzelm
parents: 65098
diff changeset 
   186
 
                },
65172
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   187
 
                "isabelle.cygwin_root": {
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   188
 
                    "type": "string",
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   189
 
                    "default": "",
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   190
 
                    "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   191
 
                },
73170
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   192
 
                "isabelle.unprocessed_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   193
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   194
 
                    "default": "rgba(255, 160, 160, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   195
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   196
 
                "isabelle.unprocessed_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   197
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   198
 
                    "default": "rgba(97, 0, 97, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   199
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   200
 
                "isabelle.unprocessed1_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   201
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   202
 
                    "default": "rgba(255, 160, 160, 0.20)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   203
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   204
 
                "isabelle.unprocessed1_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   205
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   206
 
                    "default": "rgba(97, 0, 97, 0.20)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   207
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   208
 
                "isabelle.running_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   209
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   210
 
                    "default": "rgba(97, 0, 97, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   211
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   212
 
                "isabelle.running_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   213
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   214
 
                    "default": "rgba(255, 160, 160, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   215
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   216
 
                "isabelle.running1_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   217
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   218
 
                    "default": "rgba(97, 0, 97, 0.40)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   219
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   220
 
                "isabelle.running1_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   221
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   222
 
                    "default": "rgba(255, 160, 160, 0.40)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   223
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   224
 
                "isabelle.canceled_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   225
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   226
 
                    "default": "rgba(255, 106, 106, 0.40)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   227
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   228
 
                "isabelle.canceled_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   229
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   230
 
                    "default": "rgba(255, 106, 106, 0.40)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   231
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   232
 
                "isabelle.bad_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   233
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   234
 
                    "default": "rgba(255, 106, 106, 0.40)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   235
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   236
 
                "isabelle.bad_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   237
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   238
 
                    "default": "rgba(255, 106, 106, 0.40)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   239
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   240
 
                "isabelle.intensify_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   241
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   242
 
                    "default": "rgba(255, 204, 102, 0.40)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   243
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   244
 
                "isabelle.intensify_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   245
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   246
 
                    "default": "rgba(204, 136, 0, 0.20)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   247
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   248
 
                "isabelle.markdown_bullet1_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   249
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   250
 
                    "default": "rgba(218, 254, 218, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   251
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   252
 
                "isabelle.markdown_bullet1_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   253
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   254
 
                    "default": "rgba(5, 199, 5, 0.20)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   255
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   256
 
                "isabelle.markdown_bullet2_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   257
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   258
 
                    "default": "rgba(255, 240, 204, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   259
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   260
 
                "isabelle.markdown_bullet2_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   261
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   262
 
                    "default": "rgba(204, 143, 0, 0.20)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   263
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   264
 
                "isabelle.markdown_bullet3_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   265
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   266
 
                    "default": "rgba(231, 231, 255, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   267
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   268
 
                "isabelle.markdown_bullet3_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   269
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   270
 
                    "default": "rgba(0, 0, 204, 0.20)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   271
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   272
 
                "isabelle.markdown_bullet4_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   273
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   274
 
                    "default": "rgba(255, 224, 240, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   275
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   276
 
                "isabelle.markdown_bullet4_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   277
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   278
 
                    "default": "rgba(204, 0, 105, 0.20)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   279
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   280
 
                "isabelle.quoted_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   281
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   282
 
                    "default": "rgba(139, 139, 139, 0.10)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   283
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   284
 
                "isabelle.quoted_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   285
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   286
 
                    "default": "rgba(150, 150, 150, 0.15)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   287
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   288
 
                "isabelle.antiquoted_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   289
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   290
 
                    "default": "rgba(255, 200, 50, 0.10)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   291
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   292
 
                "isabelle.antiquoted_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   293
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   294
 
                    "default": "rgba(255, 214, 102, 0.15)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   295
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   296
 
                "isabelle.writeln_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   297
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   298
 
                    "default": "rgba(192, 192, 192, 1.0)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   299
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   300
 
                "isabelle.writeln_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   301
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   302
 
                    "default": "rgba(192, 192, 192, 1.0)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   303
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   304
 
                "isabelle.information_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   305
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   306
 
                    "default": "rgba(193, 223, 238, 1.0)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   307
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   308
 
                "isabelle.information_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   309
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   310
 
                    "default": "rgba(193, 223, 238, 1.0)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   311
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   312
 
                "isabelle.warning_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   313
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   314
 
                    "default": "rgba(255, 140, 0, 1.0)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   315
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   316
 
                "isabelle.warning_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   317
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   318
 
                    "default": "rgba(255, 140, 0, 1.0)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   319
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   320
 
                "isabelle.error_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   321
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   322
 
                    "default": "rgba(178, 34, 34, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   323
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   324
 
                "isabelle.error_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   325
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   326
 
                    "default": "rgba(178, 34, 34, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   327
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   328
 
                "isabelle.spell_checker_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   329
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   330
 
                    "default": "rgba(0, 0, 255, 1.0)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   331
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   332
 
                "isabelle.spell_checker_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   333
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   334
 
                    "default": "rgba(86, 156, 214, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   335
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   336
 
                "isabelle.main_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   337
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   338
 
                    "default": "rgba(0, 0, 0, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   339
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   340
 
                "isabelle.main_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   341
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   342
 
                    "default": "rgba(212, 212, 212, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   343
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   344
 
                "isabelle.keyword1_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   345
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   346
 
                    "default": "rgba(175, 0, 219, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   347
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   348
 
                "isabelle.keyword1_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   349
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   350
 
                    "default": "rgba(197, 134, 192, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   351
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   352
 
                "isabelle.keyword2_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   353
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   354
 
                    "default": "rgba(9, 136, 90, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   355
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   356
 
                "isabelle.keyword2_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   357
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   358
 
                    "default": "rgba(181, 206, 168, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   359
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   360
 
                "isabelle.keyword3_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   361
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   362
 
                    "default": "rgba(38, 127, 153, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   363
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   364
 
                "isabelle.keyword3_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   365
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   366
 
                    "default": "rgba(78, 201, 176), 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   367
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   368
 
                "isabelle.quasi_keyword_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   369
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   370
 
                    "default": "rgba(153, 102, 255, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   371
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   372
 
                "isabelle.quasi_keyword_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   373
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   374
 
                    "default": "rgba(153, 102, 255, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   375
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   376
 
                "isabelle.improper_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   377
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   378
 
                    "default": "rgba(205, 49, 49, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   379
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   380
 
                "isabelle.improper_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   381
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   382
 
                    "default": "rgba(244, 71, 71, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   383
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   384
 
                "isabelle.operator_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   385
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   386
 
                    "default": "rgba(50, 50, 50, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   387
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   388
 
                "isabelle.operator_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   389
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   390
 
                    "default": "rgba(212, 212, 212, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   391
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   392
 
                "isabelle.tfree_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   393
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   394
 
                    "default": "rgba(160, 32, 240, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   395
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   396
 
                "isabelle.tfree_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   397
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   398
 
                    "default": "rgba(160, 32, 240, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   399
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   400
 
                "isabelle.tvar_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   401
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   402
 
                    "default": "rgba(160, 32, 240, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   403
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   404
 
                "isabelle.tvar_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   405
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   406
 
                    "default": "rgba(160, 32, 240, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   407
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   408
 
                "isabelle.free_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   409
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   410
 
                    "default": "rgba(0, 0, 255, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   411
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   412
 
                "isabelle.free_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   413
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   414
 
                    "default": "rgba(86, 156, 214, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   415
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   416
 
                "isabelle.skolem_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   417
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   418
 
                    "default": "rgba(210, 105, 30, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   419
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   420
 
                "isabelle.skolem_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   421
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   422
 
                    "default": "rgba(210, 105, 30, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   423
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   424
 
                "isabelle.bound_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   425
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   426
 
                    "default": "rgba(0, 128, 0, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   427
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   428
 
                "isabelle.bound_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   429
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   430
 
                    "default": "rgba(96, 139, 78, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   431
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   432
 
                "isabelle.var_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   433
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   434
 
                    "default": "rgba(0, 16, 128, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   435
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   436
 
                "isabelle.var_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   437
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   438
 
                    "default": "rgba(156, 220, 254, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   439
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   440
 
                "isabelle.inner_numeral_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   441
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   442
 
                    "default": "rgba(9, 136, 90, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   443
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   444
 
                "isabelle.inner_numeral_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   445
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   446
 
                    "default": "rgba(181, 206, 168, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   447
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   448
 
                "isabelle.inner_quoted_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   449
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   450
 
                    "default": "rgba(163, 21, 21, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   451
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   452
 
                "isabelle.inner_quoted_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   453
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   454
 
                    "default": "rgba(206, 145, 120, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   455
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   456
 
                "isabelle.inner_cartouche_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   457
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   458
 
                    "default": "rgba(129, 31, 63, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   459
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   460
 
                "isabelle.inner_cartouche_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   461
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   462
 
                    "default": "rgba(209, 105, 105, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   463
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   464
 
                "isabelle.inner_comment_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   465
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   466
 
                    "default": "rgba(0, 128, 0, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   467
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   468
 
                "isabelle.inner_comment_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   469
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   470
 
                    "default": "rgba(96, 139, 78, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   471
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   472
 
                "isabelle.comment1_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   473
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   474
 
                    "default": "rgba(129, 31, 63, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   475
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   476
 
                "isabelle.comment1_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   477
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   478
 
                    "default": "rgba(100, 102, 149, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   479
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   480
 
                "isabelle.comment2_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   481
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   482
 
                    "default": "rgba(209, 105, 105, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   483
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   484
 
                "isabelle.comment2_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   485
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   486
 
                    "default": "rgba(206, 155, 120, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   487
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   488
 
                "isabelle.comment3_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   489
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   490
 
                    "default": "rgba(0, 128, 0, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   491
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   492
 
                "isabelle.comment3_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   493
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   494
 
                    "default": "rgba(96, 139, 78, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   495
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   496
 
                "isabelle.dynamic_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   497
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   498
 
                    "default": "rgba(121, 94, 38, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   499
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   500
 
                "isabelle.dynamic_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   501
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   502
 
                    "default": "rgba(220, 220, 170, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   503
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   504
 
                "isabelle.class_parameter_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   505
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   506
 
                    "default": "rgba(210, 105, 30, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   507
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   508
 
                "isabelle.class_parameter_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   509
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   510
 
                    "default": "rgba(210, 105, 30, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   511
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   512
 
                "isabelle.antiquote_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   513
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   514
 
                    "default": "rgba(102, 0, 204, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   515
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   516
 
                "isabelle.antiquote_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   517
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   518
 
                    "default": "rgba(197, 134, 192, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   519
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   520
 
                "isabelle.raw_text_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   521
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   522
 
                    "default": "rgba(102, 0, 204, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   523
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   524
 
                "isabelle.raw_text_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   525
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   526
 
                    "default": "rgba(197, 134, 192, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   527
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   528
 
                "isabelle.plain_text_light_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   529
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   530
 
                    "default": "rgba(102, 0, 204, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   531
 
                },
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   532
 
                "isabelle.plain_text_dark_color": {
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   533
 
                    "type": "string",
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   534
 
                    "default": "rgba(197, 134, 192, 1.00)"
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   535
 
                }
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   536
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   537
 
        }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   538
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   539
 
    "scripts": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   540
 
        "vscode:prepublish": "tsc -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   541
 
        "compile": "tsc -watch -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   542
 
        "postinstall": "node ./node_modules/vscode/bin/install"
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   543
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   544
 
    "devDependencies": {
67804
c67fb01921eb auto update;
wenzelm
parents: 67744
diff changeset 
   545
 
        "@types/mocha": "^2.2.48",
73169
2ac5a4957f9c auto-update;
wenzelm
parents: 73167
diff changeset 
   546
 
        "@types/node": "^7.10.14",
66673
1e4450008c47 auto update;
wenzelm
parents: 66598
diff changeset 
   547
 
        "mocha": "^3.5.3",
73540
a69197959ab6 auto-update due to "isabelle build_vscode";
wenzelm
parents: 73171
diff changeset 
   548
 
        "typescript": "^3.9.9",
71473
be84312a2d53 update to WebviewPanel API, following initial version by Peter Zeller;
wenzelm
parents: 70265
diff changeset 
   549
 
        "vscode": "^1.1.36"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   550
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   551
 
    "dependencies": {
71488
cf39375d5cfe clarified versions -- more reproducible build;
wenzelm
parents: 71482
diff changeset 
   552
 
        "vscode-languageclient": "~3.2.2",
cf39375d5cfe clarified versions -- more reproducible build;
wenzelm
parents: 71482
diff changeset 
   553
 
        "vscode-languageserver-types": "~3.14.0"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   554
 
    }
65192
7b8dc3910b96 updated package;
wenzelm
parents: 65185
diff changeset 
   555
 
}
isabelle