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
Fri, 16 Jun 2017 16:00:44 +0200
changeset 66095 78a1aedd1761
parent 66080 066f4ba9c965
child 66096 6187612e83c1
permissions -rw-r--r--
automatic reformatting;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     1
 
{
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     2
 
    "name": "isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     3
 
    "displayName": "Isabelle",
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",
66080
066f4ba9c965 updated package;
wenzelm
parents: 66042
diff changeset 
    13
 
    "version": "0.14.0",
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": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    17
 
        "url": "http://isabelle.in.tum.de/repos/isabelle"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    18
 
    },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    19
 
    "engines": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    20
 
        "vscode": "^1.8.0"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    21
 
    },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    22
 
    "categories": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    23
 
        "Languages"
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",
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    28
 
        "onCommand:isabelle.preview",
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    29
 
        "onCommand:isabelle.preview-split",
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    30
 
        "onCommand:isabelle.preview-source"
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
 
            {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    36
 
                "command": "isabelle.preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    37
 
                "title": "Open Preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    38
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    39
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    40
 
                    "light": "./media/Preview.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    41
 
                    "dark": "./media/Preview_inverse.svg"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    42
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    43
 
            },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    44
 
            {
65986
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    45
 
                "command": "isabelle.preview-update",
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    46
 
                "title": "Update Preview",
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    47
 
                "category": "Isabelle",
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    48
 
                "icon": {
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    49
 
                    "light": "./media/Preview.svg",
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    50
 
                    "dark": "./media/Preview_inverse.svg"
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    51
 
                }
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    52
 
            },
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    53
 
            {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    54
 
                "command": "isabelle.preview-split",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    55
 
                "title": "Open Preview (Split Editor)",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    56
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    57
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    58
 
                    "light": "./media/PreviewOnRightPane_16x.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    59
 
                    "dark": "./media/PreviewOnRightPane_16x_dark.svg"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    60
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    61
 
            },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    62
 
            {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    63
 
                "command": "isabelle.preview-source",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    64
 
                "title": "Show Source",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    65
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    66
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    67
 
                    "light": "./media/ViewSource.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    68
 
                    "dark": "./media/ViewSource_inverse.svg"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    69
 
                }
65958
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    70
 
            }
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    71
 
        ],
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    72
 
        "menus": {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    73
 
            "editor/title": [
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    74
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    75
 
                    "when": "editorLangId == isabelle",
66042
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    76
 
                    "command": "isabelle.preview",
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    77
 
                    "group": "navigation"
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    78
 
                },
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    79
 
                {
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    80
 
                    "when": "editorLangId == isabelle",
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    81
 
                    "command": "isabelle.preview-split",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    82
 
                    "group": "navigation"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    83
 
                },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    84
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    85
 
                    "when": "resourceScheme == isabelle-preview",
65986
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    86
 
                    "command": "isabelle.preview-update",
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    87
 
                    "group": "navigation"
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    88
 
                },
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    89
 
                {
d2b2f08533c5 added update operation;
wenzelm
parents: 65985
diff changeset 
    90
 
                    "when": "resourceScheme == isabelle-preview",
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    91
 
                    "command": "isabelle.preview-source",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    92
 
                    "group": "navigation"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    93
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    94
 
            ],
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    95
 
            "explorer/context": [
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    96
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    97
 
                    "when": "resourceLangId == isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    98
 
                    "command": "isabelle.preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    99
 
                    "group": "navigation"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   100
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   101
 
            ]
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   102
 
        },
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   103
 
        "languages": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   104
 
            {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   105
 
                "id": "isabelle",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   106
 
                "aliases": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   107
 
                    "Isabelle"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   108
 
                ],
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   109
 
                "extensions": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   110
 
                    ".thy"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   111
 
                ],
64736
07bf45283b92 clarified file name;
wenzelm
parents: 64735
diff changeset 
   112
 
                "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 
   113
 
            },
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 
   114
 
            {
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 
   115
 
                "id": "isabelle-ml",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   116
 
                "aliases": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   117
 
                    "Isabelle/ML"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   118
 
                ],
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   119
 
                "extensions": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   120
 
                    ".ML",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   121
 
                    ".sml",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   122
 
                    ".sig"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   123
 
                ],
64752
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents: 64750
diff changeset 
   124
 
                "configuration": "./isabelle-ml-language.json"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   125
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   126
 
        ],
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 
   127
 
        "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 
   128
 
            {
64738
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   129
 
                "language": "isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   130
 
                "scopeName": "source.isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   131
 
                "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 
   132
 
            },
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 
   133
 
            {
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 
   134
 
                "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 
   135
 
                "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 
   136
 
                "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 
   137
 
            }
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 
   138
 
        ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   139
 
        "configuration": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   140
 
            "title": "Isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   141
 
            "properties": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   142
 
                "isabelle.home": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   143
 
                    "type": "string",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   144
 
                    "default": "",
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64752
diff changeset 
   145
 
                    "description": "Main Isabelle directory (ISABELLE_HOME)."
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   146
 
                },
64743
wenzelm
parents: 64738
diff changeset 
   147
 
                "isabelle.args": {
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   148
 
                    "type": "array",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   149
 
                    "items": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   150
 
                        "type": "string"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   151
 
                    },
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   152
 
                    "default": [],
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64752
diff changeset 
   153
 
                    "description": "Command-line arguments for isabelle vscode_server process."
65104
66b19d05dcee decorations for background and foreground colors;
wenzelm
parents: 65098
diff changeset 
   154
 
                },
65172
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   155
 
                "isabelle.cygwin_root": {
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   156
 
                    "type": "string",
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   157
 
                    "default": "",
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   158
 
                    "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 
   159
 
                },
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   160
 
                "isabelle.unprocessed_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   161
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   162
 
                    "default": "rgba(255, 160, 160, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   163
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   164
 
                "isabelle.unprocessed_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   165
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   166
 
                    "default": "rgba(97, 0, 97, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   167
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   168
 
                "isabelle.unprocessed1_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   169
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   170
 
                    "default": "rgba(255, 160, 160, 0.20)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   171
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   172
 
                "isabelle.unprocessed1_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   173
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   174
 
                    "default": "rgba(97, 0, 97, 0.20)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   175
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   176
 
                "isabelle.running_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   177
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   178
 
                    "default": "rgba(97, 0, 97, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   179
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   180
 
                "isabelle.running_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   181
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   182
 
                    "default": "rgba(255, 160, 160, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   183
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   184
 
                "isabelle.running1_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   185
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   186
 
                    "default": "rgba(97, 0, 97, 0.40)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   187
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   188
 
                "isabelle.running1_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   189
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   190
 
                    "default": "rgba(255, 160, 160, 0.40)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   191
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   192
 
                "isabelle.bad_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   193
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   194
 
                    "default": "rgba(255, 106, 106, 0.40)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   195
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   196
 
                "isabelle.bad_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   197
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   198
 
                    "default": "rgba(255, 106, 106, 0.40)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   199
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   200
 
                "isabelle.intensify_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   201
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   202
 
                    "default": "rgba(255, 204, 102, 0.40)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   203
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   204
 
                "isabelle.intensify_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   205
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   206
 
                    "default": "rgba(204, 136, 0, 0.20)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   207
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   208
 
                "isabelle.markdown_item1_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   209
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   210
 
                    "default": "rgba(218, 254, 218, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   211
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   212
 
                "isabelle.markdown_item1_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   213
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   214
 
                    "default": "rgba(5, 199, 5, 0.20)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   215
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   216
 
                "isabelle.markdown_item2_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   217
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   218
 
                    "default": "rgba(255, 240, 204, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   219
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   220
 
                "isabelle.markdown_item2_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   221
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   222
 
                    "default": "rgba(204, 143, 0, 0.20)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   223
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   224
 
                "isabelle.markdown_item3_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   225
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   226
 
                    "default": "rgba(231, 231, 255, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   227
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   228
 
                "isabelle.markdown_item3_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   229
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   230
 
                    "default": "rgba(0, 0, 204, 0.20)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   231
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   232
 
                "isabelle.markdown_item4_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   233
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   234
 
                    "default": "rgba(255, 224, 240, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   235
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   236
 
                "isabelle.markdown_item4_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   237
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   238
 
                    "default": "rgba(204, 0, 105, 0.20)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   239
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   240
 
                "isabelle.quoted_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   241
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   242
 
                    "default": "rgba(139, 139, 139, 0.10)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   243
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   244
 
                "isabelle.quoted_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   245
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   246
 
                    "default": "rgba(150, 150, 150, 0.15)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   247
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   248
 
                "isabelle.antiquoted_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   249
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   250
 
                    "default": "rgba(255, 200, 50, 0.10)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   251
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   252
 
                "isabelle.antiquoted_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   253
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   254
 
                    "default": "rgba(255, 214, 102, 0.15)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   255
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   256
 
                "isabelle.writeln_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   257
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   258
 
                    "default": "rgba(192, 192, 192, 1.0)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   259
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   260
 
                "isabelle.writeln_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   261
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   262
 
                    "default": "rgba(192, 192, 192, 1.0)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   263
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   264
 
                "isabelle.information_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   265
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   266
 
                    "default": "rgba(193, 223, 238, 1.0)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   267
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   268
 
                "isabelle.information_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   269
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   270
 
                    "default": "rgba(193, 223, 238, 1.0)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   271
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   272
 
                "isabelle.warning_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   273
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   274
 
                    "default": "rgba(255, 140, 0, 1.0)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   275
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   276
 
                "isabelle.warning_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   277
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   278
 
                    "default": "rgba(255, 140, 0, 1.0)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   279
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   280
 
                "isabelle.error_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   281
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   282
 
                    "default": "rgba(178, 34, 34, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   283
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   284
 
                "isabelle.error_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   285
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   286
 
                    "default": "rgba(178, 34, 34, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   287
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   288
 
                "isabelle.spell_checker_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   289
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   290
 
                    "default": "rgba(0, 0, 255, 1.0)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   291
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   292
 
                "isabelle.spell_checker_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   293
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   294
 
                    "default": "rgba(86, 156, 214, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   295
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   296
 
                "isabelle.main_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   297
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   298
 
                    "default": "rgba(0, 0, 0, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   299
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   300
 
                "isabelle.main_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   301
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   302
 
                    "default": "rgba(212, 212, 212, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   303
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   304
 
                "isabelle.keyword1_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   305
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   306
 
                    "default": "rgba(175, 0, 219, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   307
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   308
 
                "isabelle.keyword1_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   309
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   310
 
                    "default": "rgba(197, 134, 192, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   311
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   312
 
                "isabelle.keyword2_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   313
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   314
 
                    "default": "rgba(9, 136, 90, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   315
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   316
 
                "isabelle.keyword2_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   317
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   318
 
                    "default": "rgba(181, 206, 168, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   319
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   320
 
                "isabelle.keyword3_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   321
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   322
 
                    "default": "rgba(38, 127, 153, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   323
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   324
 
                "isabelle.keyword3_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   325
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   326
 
                    "default": "rgba(78, 201, 176), 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   327
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   328
 
                "isabelle.quasi_keyword_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   329
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   330
 
                    "default": "rgba(153, 102, 255, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   331
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   332
 
                "isabelle.quasi_keyword_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   333
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   334
 
                    "default": "rgba(153, 102, 255, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   335
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   336
 
                "isabelle.improper_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   337
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   338
 
                    "default": "rgba(205, 49, 49, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   339
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   340
 
                "isabelle.improper_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   341
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   342
 
                    "default": "rgba(244, 71, 71, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   343
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   344
 
                "isabelle.operator_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   345
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   346
 
                    "default": "rgba(50, 50, 50, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   347
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   348
 
                "isabelle.operator_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   349
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   350
 
                    "default": "rgba(212, 212, 212, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   351
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   352
 
                "isabelle.tfree_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   353
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   354
 
                    "default": "rgba(160, 32, 240, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   355
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   356
 
                "isabelle.tfree_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   357
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   358
 
                    "default": "rgba(160, 32, 240, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   359
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   360
 
                "isabelle.tvar_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   361
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   362
 
                    "default": "rgba(160, 32, 240, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   363
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   364
 
                "isabelle.tvar_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   365
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   366
 
                    "default": "rgba(160, 32, 240, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   367
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   368
 
                "isabelle.free_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   369
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   370
 
                    "default": "rgba(0, 0, 255, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   371
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   372
 
                "isabelle.free_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   373
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   374
 
                    "default": "rgba(86, 156, 214, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   375
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   376
 
                "isabelle.skolem_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   377
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   378
 
                    "default": "rgba(210, 105, 30, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   379
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   380
 
                "isabelle.skolem_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   381
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   382
 
                    "default": "rgba(210, 105, 30, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   383
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   384
 
                "isabelle.bound_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   385
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   386
 
                    "default": "rgba(0, 128, 0, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   387
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   388
 
                "isabelle.bound_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   389
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   390
 
                    "default": "rgba(96, 139, 78, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   391
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   392
 
                "isabelle.var_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   393
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   394
 
                    "default": "rgba(0, 16, 128, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   395
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   396
 
                "isabelle.var_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   397
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   398
 
                    "default": "rgba(156, 220, 254, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   399
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   400
 
                "isabelle.inner_numeral_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   401
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   402
 
                    "default": "rgba(9, 136, 90, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   403
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   404
 
                "isabelle.inner_numeral_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   405
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   406
 
                    "default": "rgba(181, 206, 168, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   407
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   408
 
                "isabelle.inner_quoted_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   409
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   410
 
                    "default": "rgba(163, 21, 21, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   411
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   412
 
                "isabelle.inner_quoted_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   413
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   414
 
                    "default": "rgba(206, 145, 120, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   415
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   416
 
                "isabelle.inner_cartouche_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   417
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   418
 
                    "default": "rgba(129, 31, 63, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   419
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   420
 
                "isabelle.inner_cartouche_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   421
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   422
 
                    "default": "rgba(209, 105, 105, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   423
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   424
 
                "isabelle.inner_comment_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   425
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   426
 
                    "default": "rgba(0, 128, 0, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   427
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   428
 
                "isabelle.inner_comment_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   429
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   430
 
                    "default": "rgba(96, 139, 78, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   431
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   432
 
                "isabelle.dynamic_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   433
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   434
 
                    "default": "rgba(121, 94, 38, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   435
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   436
 
                "isabelle.dynamic_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   437
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   438
 
                    "default": "rgba(220, 220, 170, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   439
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   440
 
                "isabelle.class_parameter_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   441
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   442
 
                    "default": "rgba(210, 105, 30, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   443
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   444
 
                "isabelle.class_parameter_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   445
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   446
 
                    "default": "rgba(210, 105, 30, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   447
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   448
 
                "isabelle.antiquote_light_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   449
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   450
 
                    "default": "rgba(102, 0, 204, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   451
 
                },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   452
 
                "isabelle.antiquote_dark_color": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   453
 
                    "type": "string",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   454
 
                    "default": "rgba(197, 134, 192, 1.00)"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   455
 
                }
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   456
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   457
 
        }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   458
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   459
 
    "scripts": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   460
 
        "vscode:prepublish": "tsc -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   461
 
        "compile": "tsc -watch -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   462
 
        "postinstall": "node ./node_modules/vscode/bin/install"
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   463
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   464
 
    "devDependencies": {
65886
aaa016619678 updated dependencies;
wenzelm
parents: 65271
diff changeset 
   465
 
        "typescript": "^2.3.2",
aaa016619678 updated dependencies;
wenzelm
parents: 65271
diff changeset 
   466
 
        "vscode": "^1.1.0",
aaa016619678 updated dependencies;
wenzelm
parents: 65271
diff changeset 
   467
 
        "mocha": "^3.4.1",
aaa016619678 updated dependencies;
wenzelm
parents: 65271
diff changeset 
   468
 
        "@types/node": "^7.0.21",
aaa016619678 updated dependencies;
wenzelm
parents: 65271
diff changeset 
   469
 
        "@types/mocha": "^2.2.41"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   470
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   471
 
    "dependencies": {
65886
aaa016619678 updated dependencies;
wenzelm
parents: 65271
diff changeset 
   472
 
        "vscode-languageclient": "~3.2.2"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   473
 
    }
65192
7b8dc3910b96 updated package;
wenzelm
parents: 65185
diff changeset 
   474
 
}
isabelle