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
Mon, 28 Feb 2022 14:24:39 +0100
changeset 75169 b61dc9070344
parent 75152 1011ae2b524c
child 75235 d647f6b74744
permissions -rw-r--r--
more aggressive activation;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     1
 
{
75149
105820b79d8f clarified extension name (again), corresponding to qualified resources within VSCode (settings, commands, etc.);
wenzelm
parents: 75147
diff changeset 
     2
 
    "name": "isabelle",
75147
f9d2a9e94138 clarified extension name;
wenzelm
parents: 75141
diff changeset 
     3
 
    "displayName": "Isabelle/VSCode",
f9d2a9e94138 clarified extension name;
wenzelm
parents: 75141
diff changeset 
     4
 
    "description": "Isabelle/VSCode 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",
75141
d65728c611f7 pro-forma update of version, for ongoing development;
wenzelm
parents: 75139
diff changeset 
    13
 
    "version": "2.0.0",
75152
1011ae2b524c clarified extension name (again);
wenzelm
parents: 75150
diff changeset 
    14
 
    "publisher": "Isabelle",
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": {
75139
177d6af44b34 proper engines.vscode (amending c04ccea8bdd2): required for "vsce package", e.g. via "isabelle build_vscode;
wenzelm
parents: 75134
diff changeset 
    20
 
        "vscode": "^1.64.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": [
75169
b61dc9070344 more aggressive activation;
wenzelm
parents: 75152
diff changeset 
    26
 
        "onStartupFinished"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    27
 
    ],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    28
 
    "main": "./out/src/extension",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    29
 
    "contributes": {
75133
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    30
 
        "viewsContainers": {
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    31
 
            "panel": [
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    32
 
                {
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    33
 
                    "id": "isabelle",
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    34
 
                    "title": "Isabelle",
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    35
 
                    "icon": "isabelle.png"
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    36
 
                }
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    37
 
            ]
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    38
 
        },
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    39
 
        "views": {
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    40
 
            "isabelle": [
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    41
 
                {
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    42
 
                    "type": "webview",
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    43
 
                    "id": "isabelle-output",
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    44
 
                    "name": "Output"
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    45
 
                }
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    46
 
            ]
6df13a4ce259 added Isabelle output panel to VSCode extension;
Fabian Huch <huch@in.tum.de>
parents: 75129
diff changeset 
    47
 
        },
65958
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    48
 
        "commands": [
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    49
 
            {
66096
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    50
 
                "command": "isabelle.state",
66225
wenzelm
parents: 66222
diff changeset 
    51
 
                "title": "Show State",
66096
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    52
 
                "category": "Isabelle"
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    53
 
            },
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    54
 
            {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    55
 
                "command": "isabelle.preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    56
 
                "title": "Open Preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    57
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    58
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    59
 
                    "light": "./media/Preview.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    60
 
                    "dark": "./media/Preview_inverse.svg"
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
 
            {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    64
 
                "command": "isabelle.preview-split",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    65
 
                "title": "Open Preview (Split Editor)",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    66
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    67
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    68
 
                    "light": "./media/PreviewOnRightPane_16x.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    69
 
                    "dark": "./media/PreviewOnRightPane_16x_dark.svg"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    70
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    71
 
            },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    72
 
            {
66138
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    73
 
                "command": "isabelle.include-word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    74
 
                "title": "Include word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    75
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    76
 
            },
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
 
                "command": "isabelle.include-word-permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    79
 
                "title": "Include word permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    80
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    81
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    82
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    83
 
                "command": "isabelle.exclude-word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    84
 
                "title": "Exclude word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    85
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    86
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    87
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    88
 
                "command": "isabelle.exclude-word-permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    89
 
                "title": "Exclude word permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    90
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    91
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    92
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    93
 
                "command": "isabelle.reset-words",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    94
 
                "title": "Reset non-permanent words",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    95
 
                "category": "Isabelle"
65958
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    96
 
            }
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    97
 
        ],
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    98
 
        "menus": {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    99
 
            "editor/title": [
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   100
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   101
 
                    "when": "editorLangId == isabelle",
66042
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
   102
 
                    "command": "isabelle.preview",
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
   103
 
                    "group": "navigation"
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
   104
 
                },
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
   105
 
                {
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   106
 
                    "when": "editorLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   107
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   108
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   109
 
                },
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
 
                    "when": "editorLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   112
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   113
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   114
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   115
 
                {
66042
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
   116
 
                    "when": "editorLangId == isabelle",
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   117
 
                    "command": "isabelle.preview-split",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   118
 
                    "group": "navigation"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   119
 
                },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   120
 
                {
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   121
 
                    "when": "editorLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   122
 
                    "command": "isabelle.preview-split",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   123
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   124
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   125
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   126
 
                    "when": "editorLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   127
 
                    "command": "isabelle.preview-split",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   128
 
                    "group": "navigation"
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   129
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   130
 
            ],
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   131
 
            "explorer/context": [
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   132
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   133
 
                    "when": "resourceLangId == isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   134
 
                    "command": "isabelle.preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   135
 
                    "group": "navigation"
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   136
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   137
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   138
 
                    "when": "resourceLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   139
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   140
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   141
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   142
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   143
 
                    "when": "resourceLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   144
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   145
 
                    "group": "navigation"
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   146
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   147
 
            ]
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   148
 
        },
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   149
 
        "languages": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   150
 
            {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   151
 
                "id": "isabelle",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   152
 
                "aliases": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   153
 
                    "Isabelle"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   154
 
                ],
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   155
 
                "extensions": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   156
 
                    ".thy"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   157
 
                ],
64736
07bf45283b92 clarified file name;
wenzelm
parents: 64735
diff changeset 
   158
 
                "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 
   159
 
            },
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
 
            {
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 
   161
 
                "id": "isabelle-ml",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   162
 
                "aliases": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   163
 
                    "Isabelle/ML"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   164
 
                ],
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   165
 
                "extensions": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   166
 
                    ".ML",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   167
 
                    ".sml",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   168
 
                    ".sig"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   169
 
                ],
64752
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents: 64750
diff changeset 
   170
 
                "configuration": "./isabelle-ml-language.json"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   171
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   172
 
        ],
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 
   173
 
        "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 
   174
 
            {
64738
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   175
 
                "language": "isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   176
 
                "scopeName": "source.isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   177
 
                "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 
   178
 
            },
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 
   179
 
            {
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 
   180
 
                "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 
   181
 
                "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 
   182
 
                "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 
   183
 
            }
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 
   184
 
        ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   185
 
        "configuration": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   186
 
            "title": "Isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   187
 
            "properties": {
64743
wenzelm
parents: 64738
diff changeset 
   188
 
                "isabelle.args": {
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   189
 
                    "type": "array",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   190
 
                    "items": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   191
 
                        "type": "string"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   192
 
                    },
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   193
 
                    "default": [],
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64752
diff changeset 
   194
 
                    "description": "Command-line arguments for isabelle vscode_server process."
65104
66b19d05dcee decorations for background and foreground colors;
wenzelm
parents: 65098
diff changeset 
   195
 
                },
75126
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   196
 
                "isabelle.replacement": {
73170
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   197
 
                    "type": "string",
75126
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   198
 
                    "default": "non-alphanumeric",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   199
 
                    "enum": [
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   200
 
                        "none",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   201
 
                        "non-alphanumeric",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   202
 
                        "all"
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   203
 
                    ],
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   204
 
                    "enumDescriptions": [
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   205
 
                        "Replacments are deactivated. No replacments are done.",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   206
 
                        "Replaces all uniqe abbreviations that contain no alphanumeric characters",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   207
 
                        "Replaces all uniqe abbreviations"
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   208
 
                    ],
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   209
 
                    "description": "Symbol replacement mode."
73170
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   210
 
                },
75126
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   211
 
                "isabelle.always_open_thys": {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   212
 
                    "type": "boolean",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   213
 
                    "default": false,
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   214
 
                    "description": "Always open '.thy' files as Isabelle theories."
73170
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   215
 
                },
75126
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   216
 
                "isabelle.text_color": {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   217
 
                    "type": "object",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   218
 
                    "additionalProperties": {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   219
 
                        "type": "string"
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   220
 
                    },
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   221
 
                    "default": {
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   222
 
                        "unprocessed_light": "rgba(255, 160, 160, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   223
 
                        "unprocessed_dark": "rgba(97, 0, 97, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   224
 
                        "unprocessed1_light": "rgba(255, 160, 160, 0.20)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   225
 
                        "unprocessed1_dark": "rgba(97, 0, 97, 0.20)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   226
 
                        "running_light": "rgba(97, 0, 97, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   227
 
                        "running_dark": "rgba(255, 160, 160, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   228
 
                        "running1_light": "rgba(97, 0, 97, 0.40)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   229
 
                        "running1_dark": "rgba(255, 160, 160, 0.40)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   230
 
                        "canceled_light": "rgba(255, 106, 106, 0.40)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   231
 
                        "canceled_dark": "rgba(255, 106, 106, 0.40)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   232
 
                        "bad_light": "rgba(255, 106, 106, 0.40)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   233
 
                        "bad_dark": "rgba(255, 106, 106, 0.40)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   234
 
                        "intensify_light": "rgba(255, 204, 102, 0.40)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   235
 
                        "intensify_dark": "rgba(204, 136, 0, 0.20)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   236
 
                        "markdown_bullet1_light": "rgba(218, 254, 218, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   237
 
                        "markdown_bullet1_dark": "rgba(5, 199, 5, 0.20)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   238
 
                        "markdown_bullet2_light": "rgba(255, 240, 204, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   239
 
                        "markdown_bullet2_dark": "rgba(204, 143, 0, 0.20)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   240
 
                        "markdown_bullet3_light": "rgba(231, 231, 255, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   241
 
                        "markdown_bullet3_dark": "rgba(0, 0, 204, 0.20)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   242
 
                        "markdown_bullet4_light": "rgba(255, 224, 240, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   243
 
                        "markdown_bullet4_dark": "rgba(204, 0, 105, 0.20)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   244
 
                        "quoted_light": "rgba(139, 139, 139, 0.10)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   245
 
                        "quoted_dark": "rgba(150, 150, 150, 0.15)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   246
 
                        "antiquoted_light": "rgba(255, 200, 50, 0.10)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   247
 
                        "antiquoted_dark": "rgba(255, 214, 102, 0.15)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   248
 
                        "writeln_light": "rgba(192, 192, 192, 1.0)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   249
 
                        "writeln_dark": "rgba(192, 192, 192, 1.0)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   250
 
                        "information_light": "rgba(193, 223, 238, 1.0)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   251
 
                        "information_dark": "rgba(193, 223, 238, 1.0)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   252
 
                        "warning_light": "rgba(255, 140, 0, 1.0)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   253
 
                        "warning_dark": "rgba(255, 140, 0, 1.0)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   254
 
                        "error_light": "rgba(178, 34, 34, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   255
 
                        "error_dark": "rgba(178, 34, 34, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   256
 
                        "spell_checker_light": "rgba(0, 0, 255, 1.0)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   257
 
                        "spell_checker_dark": "rgba(86, 156, 214, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   258
 
                        "main_light": "rgba(0, 0, 0, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   259
 
                        "main_dark": "rgba(212, 212, 212, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   260
 
                        "keyword1_light": "rgba(175, 0, 219, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   261
 
                        "keyword1_dark": "rgba(197, 134, 192, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   262
 
                        "keyword2_light": "rgba(9, 136, 90, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   263
 
                        "keyword2_dark": "rgba(181, 206, 168, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   264
 
                        "keyword3_light": "rgba(38, 127, 153, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   265
 
                        "keyword3_dark": "rgba(78, 201, 176), 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   266
 
                        "quasi_keyword_light": "rgba(153, 102, 255, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   267
 
                        "quasi_keyword_dark": "rgba(153, 102, 255, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   268
 
                        "improper_light": "rgba(205, 49, 49, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   269
 
                        "improper_dark": "rgba(244, 71, 71, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   270
 
                        "operator_light": "rgba(50, 50, 50, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   271
 
                        "operator_dark": "rgba(212, 212, 212, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   272
 
                        "tfree_light": "rgba(160, 32, 240, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   273
 
                        "tfree_dark": "rgba(160, 32, 240, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   274
 
                        "tvar_light": "rgba(160, 32, 240, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   275
 
                        "tvar_dark": "rgba(160, 32, 240, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   276
 
                        "free_light": "rgba(0, 0, 255, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   277
 
                        "free_dark": "rgba(86, 156, 214, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   278
 
                        "skolem_light": "rgba(210, 105, 30, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   279
 
                        "skolem_dark": "rgba(210, 105, 30, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   280
 
                        "bound_light": "rgba(0, 128, 0, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   281
 
                        "bound_dark": "rgba(96, 139, 78, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   282
 
                        "var_light": "rgba(0, 16, 128, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   283
 
                        "var_dark": "rgba(156, 220, 254, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   284
 
                        "inner_numeral_light": "rgba(9, 136, 90, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   285
 
                        "inner_numeral_dark": "rgba(181, 206, 168, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   286
 
                        "inner_quoted_light": "rgba(163, 21, 21, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   287
 
                        "inner_quoted_dark": "rgba(206, 145, 120, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   288
 
                        "inner_cartouche_light": "rgba(129, 31, 63, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   289
 
                        "inner_cartouche_dark": "rgba(209, 105, 105, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   290
 
                        "inner_comment_light": "rgba(0, 128, 0, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   291
 
                        "inner_comment_dark": "rgba(96, 139, 78, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   292
 
                        "comment1_light": "rgba(129, 31, 63, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   293
 
                        "comment1_dark": "rgba(100, 102, 149, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   294
 
                        "comment2_light": "rgba(209, 105, 105, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   295
 
                        "comment2_dark": "rgba(206, 155, 120, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   296
 
                        "comment3_light": "rgba(0, 128, 0, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   297
 
                        "comment3_dark": "rgba(96, 139, 78, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   298
 
                        "dynamic_light": "rgba(121, 94, 38, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   299
 
                        "dynamic_dark": "rgba(220, 220, 170, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   300
 
                        "class_parameter_light": "rgba(210, 105, 30, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   301
 
                        "class_parameter_dark": "rgba(210, 105, 30, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   302
 
                        "antiquote_light": "rgba(102, 0, 204, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   303
 
                        "antiquote_dark": "rgba(197, 134, 192, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   304
 
                        "raw_text_light": "rgba(102, 0, 204, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   305
 
                        "raw_text_dark": "rgba(197, 134, 192, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   306
 
                        "plain_text_light": "rgba(102, 0, 204, 1.00)",
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   307
 
                        "plain_text_dark": "rgba(197, 134, 192, 1.00)"
da1108a6d249 various improvements to Isabelle/VSCode (by Denis Paluca and Fabian Huch);
wenzelm
parents: 75093
diff changeset 
   308
 
                    }
73170
bd5e1d7c5312 auto-update;
wenzelm
parents: 73169
diff changeset 
   309
 
                }
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   310
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   311
 
        }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   312
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   313
 
    "scripts": {
75150
6f3f1e13e1e3 update scripts, based on recent "yo code" template;
wenzelm
parents: 75149
diff changeset 
   314
 
        "vscode:prepublish": "npm run compile",
6f3f1e13e1e3 update scripts, based on recent "yo code" template;
wenzelm
parents: 75149
diff changeset 
   315
 
        "compile": "tsc -p ./",
6f3f1e13e1e3 update scripts, based on recent "yo code" template;
wenzelm
parents: 75149
diff changeset 
   316
 
        "watch": "tsc -watch -p ./"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   317
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   318
 
    "devDependencies": {
75134
c04ccea8bdd2 update VSCode plugin dependencies;
Fabian Huch <huch@in.tum.de>
parents: 75133
diff changeset 
   319
 
        "@types/mocha": "^9.1.0",
c04ccea8bdd2 update VSCode plugin dependencies;
Fabian Huch <huch@in.tum.de>
parents: 75133
diff changeset 
   320
 
        "@types/node": "^17.0.19",
c04ccea8bdd2 update VSCode plugin dependencies;
Fabian Huch <huch@in.tum.de>
parents: 75133
diff changeset 
   321
 
        "@types/vscode": "^1.64.0",
c04ccea8bdd2 update VSCode plugin dependencies;
Fabian Huch <huch@in.tum.de>
parents: 75133
diff changeset 
   322
 
        "mocha": "^9.2.1",
c04ccea8bdd2 update VSCode plugin dependencies;
Fabian Huch <huch@in.tum.de>
parents: 75133
diff changeset 
   323
 
        "typescript": "^4.5.5"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   324
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   325
 
    "dependencies": {
75134
c04ccea8bdd2 update VSCode plugin dependencies;
Fabian Huch <huch@in.tum.de>
parents: 75133
diff changeset 
   326
 
        "vscode-languageclient": "~7.0.0",
73543
f8c6c45cb112 some tinkering with npm versions;
wenzelm
parents: 73542
diff changeset 
   327
 
        "vscode-languageserver-types": "~3.16.0"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   328
 
    }
65192
7b8dc3910b96 updated package;
wenzelm
parents: 65185
diff changeset 
   329
 
}
isabelle