Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/package.json
author wenzelm
Wed, 20 Jan 2021 22:55:57 +0100
changeset 73169 2ac5a4957f9c
parent 73167 490ca65ecae2
child 73170 bd5e1d7c5312
permissions -rw-r--r--
auto-update;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     1
 
{
73167
490ca65ecae2 VSCode extension for official Isabelle release;
wenzelm
parents: 71557
diff changeset 
     2
 
    "name": "Isabelle2021",
490ca65ecae2 VSCode extension for official Isabelle release;
wenzelm
parents: 71557
diff changeset 
     3
 
    "displayName": "Isabelle2021",
64757
7e3924224769 updated package;
wenzelm
parents: 64755
diff changeset 
     4
 
    "description": "Isabelle Prover IDE",
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     5
 
    "keywords": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     6
 
        "theorem prover",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     7
 
        "formalized mathematics",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     8
 
        "mathematical logic",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     9
 
        "functional programming",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    10
 
        "document preparation"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    11
 
    ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    12
 
    "icon": "isabelle.png",
73167
490ca65ecae2 VSCode extension for official Isabelle release;
wenzelm
parents: 71557
diff changeset 
    13
 
    "version": "1.2.2",
64696
e991a4fab0dc publish extension on Visual Studio Marketplace;
wenzelm
parents: 64695
diff changeset 
    14
 
    "publisher": "makarius",
65091
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents: 64949
diff changeset 
    15
 
    "license": "MIT",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    16
 
    "repository": {
71482
aa7b0a5e9fe3 updated for release;
wenzelm
parents: 71481
diff changeset 
    17
 
        "url": "https://isabelle-dev.sketis.net"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    18
 
    },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    19
 
    "engines": {
71473
be84312a2d53 update to WebviewPanel API, following initial version by Peter Zeller;
wenzelm
parents: 70265
diff changeset 
    20
 
        "vscode": "^1.32.0"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    21
 
    },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    22
 
    "categories": [
71482
aa7b0a5e9fe3 updated for release;
wenzelm
parents: 71481
diff changeset 
    23
 
        "Programming Languages"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    24
 
    ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    25
 
    "activationEvents": [
64750
1f855e03455f proper use of isabelle-ml;
wenzelm
parents: 64749
diff changeset 
    26
 
        "onLanguage:isabelle",
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    27
 
        "onLanguage:isabelle-ml",
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    28
 
        "onLanguage:bibtex",
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    29
 
        "onCommand:isabelle.preview",
71479
6aa2dc263912 less ambitious preview: discontinued preview-update / preview-source which did not work on the spot via WebviewPanel;
wenzelm
parents: 71473
diff changeset 
    30
 
        "onCommand:isabelle.preview-split"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    31
 
    ],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    32
 
    "main": "./out/src/extension",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    33
 
    "contributes": {
65958
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    34
 
        "commands": [
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    35
 
            {
66096
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    36
 
                "command": "isabelle.state",
66225
wenzelm
parents: 66222
diff changeset 
    37
 
                "title": "Show State",
66096
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    38
 
                "category": "Isabelle"
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    39
 
            },
6187612e83c1 support for separate proof state output;
wenzelm
parents: 66095
diff changeset 
    40
 
            {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    41
 
                "command": "isabelle.preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    42
 
                "title": "Open Preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    43
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    44
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    45
 
                    "light": "./media/Preview.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    46
 
                    "dark": "./media/Preview_inverse.svg"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    47
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    48
 
            },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    49
 
            {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    50
 
                "command": "isabelle.preview-split",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    51
 
                "title": "Open Preview (Split Editor)",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    52
 
                "category": "Isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    53
 
                "icon": {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    54
 
                    "light": "./media/PreviewOnRightPane_16x.svg",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    55
 
                    "dark": "./media/PreviewOnRightPane_16x_dark.svg"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    56
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    57
 
            },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    58
 
            {
66138
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    59
 
                "command": "isabelle.include-word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    60
 
                "title": "Include word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    61
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    62
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    63
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    64
 
                "command": "isabelle.include-word-permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    65
 
                "title": "Include word permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    66
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    67
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    68
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    69
 
                "command": "isabelle.exclude-word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    70
 
                "title": "Exclude word",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    71
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    72
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    73
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    74
 
                "command": "isabelle.exclude-word-permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    75
 
                "title": "Exclude word permanently",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    76
 
                "category": "Isabelle"
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    77
 
            },
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    78
 
            {
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    79
 
                "command": "isabelle.reset-words",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    80
 
                "title": "Reset non-permanent words",
f7ef4c50b747 added commands for spell-checker dictionary;
wenzelm
parents: 66102
diff changeset 
    81
 
                "category": "Isabelle"
65958
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    82
 
            }
6338355b2a88 basic setup for document preview;
wenzelm
parents: 65914
diff changeset 
    83
 
        ],
65983
d8c5603c1732 explicit preview request/response;
wenzelm
parents: 65958
diff changeset 
    84
 
        "menus": {
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    85
 
            "editor/title": [
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    86
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
    87
 
                    "when": "editorLangId == isabelle",
66042
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    88
 
                    "command": "isabelle.preview",
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    89
 
                    "group": "navigation"
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    90
 
                },
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
    91
 
                {
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    92
 
                    "when": "editorLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    93
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    94
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    95
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    96
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    97
 
                    "when": "editorLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    98
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
    99
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   100
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   101
 
                {
66042
98aaeff47795 clarified menu;
wenzelm
parents: 66002
diff changeset 
   102
 
                    "when": "editorLangId == isabelle",
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   103
 
                    "command": "isabelle.preview-split",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   104
 
                    "group": "navigation"
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   105
 
                },
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   106
 
                {
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   107
 
                    "when": "editorLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   108
 
                    "command": "isabelle.preview-split",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   109
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   110
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   111
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   112
 
                    "when": "editorLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   113
 
                    "command": "isabelle.preview-split",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   114
 
                    "group": "navigation"
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   115
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   116
 
            ],
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   117
 
            "explorer/context": [
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   118
 
                {
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   119
 
                    "when": "resourceLangId == isabelle",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   120
 
                    "command": "isabelle.preview",
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   121
 
                    "group": "navigation"
67260
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   122
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   123
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   124
 
                    "when": "resourceLangId == isabelle-ml",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   125
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   126
 
                    "group": "navigation"
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   127
 
                },
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   128
 
                {
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   129
 
                    "when": "resourceLangId == bibtex",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   130
 
                    "command": "isabelle.preview",
ecd607631bc7 uniform preview for Isabelle/jEdit and Isabelle/VSCode;
wenzelm
parents: 67254
diff changeset 
   131
 
                    "group": "navigation"
65985
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   132
 
                }
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   133
 
            ]
1be7135917a6 clarified name;
wenzelm
parents: 65983
diff changeset 
   134
 
        },
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   135
 
        "languages": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   136
 
            {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   137
 
                "id": "isabelle",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   138
 
                "aliases": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   139
 
                    "Isabelle"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   140
 
                ],
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   141
 
                "extensions": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   142
 
                    ".thy"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   143
 
                ],
64736
07bf45283b92 clarified file name;
wenzelm
parents: 64735
diff changeset 
   144
 
                "configuration": "./isabelle-language.json"
64749
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   145
 
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   146
 
            {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   147
 
                "id": "isabelle-ml",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   148
 
                "aliases": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   149
 
                    "Isabelle/ML"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   150
 
                ],
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   151
 
                "extensions": [
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   152
 
                    ".ML",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   153
 
                    ".sml",
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   154
 
                    ".sig"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   155
 
                ],
64752
c23c754f8c58 more specific isabelle-ml language support;
wenzelm
parents: 64750
diff changeset 
   156
 
                "configuration": "./isabelle-ml-language.json"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   157
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   158
 
        ],
64749
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   159
 
        "grammars": [
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   160
 
            {
64738
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   161
 
                "language": "isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   162
 
                "scopeName": "source.isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
   163
 
                "path": "./isabelle-grammar.json"
64749
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   164
 
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   165
 
            {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   166
 
                "language": "isabelle-ml",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   167
 
                "scopeName": "source.isabelle-ml",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   168
 
                "path": "./isabelle-ml-grammar.json"
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   169
 
            }
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
   170
 
        ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   171
 
        "configuration": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   172
 
            "title": "Isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   173
 
            "properties": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   174
 
                "isabelle.home": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   175
 
                    "type": "string",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   176
 
                    "default": "",
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64752
diff changeset 
   177
 
                    "description": "Main Isabelle directory (ISABELLE_HOME)."
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   178
 
                },
64743
wenzelm
parents: 64738
diff changeset 
   179
 
                "isabelle.args": {
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   180
 
                    "type": "array",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   181
 
                    "items": {
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   182
 
                        "type": "string"
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
   183
 
                    },
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
   184
 
                    "default": [],
64755
ceb81f4928ea support for Windows;
wenzelm
parents: 64752
diff changeset 
   185
 
                    "description": "Command-line arguments for isabelle vscode_server process."
65104
66b19d05dcee decorations for background and foreground colors;
wenzelm
parents: 65098
diff changeset 
   186
 
                },
65172
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   187
 
                "isabelle.cygwin_root": {
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   188
 
                    "type": "string",
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   189
 
                    "default": "",
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   190
 
                    "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
365e97f009ed default cygwin_root from Isabelle distribution;
wenzelm
parents: 65169
diff changeset 
   191
 
                },
69321
wenzelm
parents: 69320
diff changeset 
   192
 
                "isabelle.unprocessed_light_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   193
 
                "isabelle.unprocessed_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   194
 
                "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
wenzelm
parents: 69320
diff changeset 
   195
 
                "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
wenzelm
parents: 69320
diff changeset 
   196
 
                "isabelle.running_light_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   197
 
                "isabelle.running_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   198
 
                "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" },
wenzelm
parents: 69320
diff changeset 
   199
 
                "isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" },
wenzelm
parents: 69320
diff changeset 
   200
 
                "isabelle.canceled_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
wenzelm
parents: 69320
diff changeset 
   201
 
                "isabelle.canceled_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
wenzelm
parents: 69320
diff changeset 
   202
 
                "isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
wenzelm
parents: 69320
diff changeset 
   203
 
                "isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
wenzelm
parents: 69320
diff changeset 
   204
 
                "isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.40)" },
wenzelm
parents: 69320
diff changeset 
   205
 
                "isabelle.intensify_dark_color": { "type": "string", "default": "rgba(204, 136, 0, 0.20)" },
wenzelm
parents: 69320
diff changeset 
   206
 
                "isabelle.markdown_bullet1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   207
 
                "isabelle.markdown_bullet1_dark_color": { "type": "string", "default": "rgba(5, 199, 5, 0.20)" },
wenzelm
parents: 69320
diff changeset 
   208
 
                "isabelle.markdown_bullet2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   209
 
                "isabelle.markdown_bullet2_dark_color": { "type": "string", "default": "rgba(204, 143, 0, 0.20)" },
wenzelm
parents: 69320
diff changeset 
   210
 
                "isabelle.markdown_bullet3_light_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   211
 
                "isabelle.markdown_bullet3_dark_color": { "type": "string", "default": "rgba(0, 0, 204, 0.20)" },
wenzelm
parents: 69320
diff changeset 
   212
 
                "isabelle.markdown_bullet4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   213
 
                "isabelle.markdown_bullet4_dark_color": { "type": "string", "default": "rgba(204, 0, 105, 0.20)" },
wenzelm
parents: 69320
diff changeset 
   214
 
                "isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
wenzelm
parents: 69320
diff changeset 
   215
 
                "isabelle.quoted_dark_color": { "type": "string", "default": "rgba(150, 150, 150, 0.15)" },
wenzelm
parents: 69320
diff changeset 
   216
 
                "isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
wenzelm
parents: 69320
diff changeset 
   217
 
                "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 214, 102, 0.15)" },
wenzelm
parents: 69320
diff changeset 
   218
 
                "isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
wenzelm
parents: 69320
diff changeset 
   219
 
                "isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
wenzelm
parents: 69320
diff changeset 
   220
 
                "isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
wenzelm
parents: 69320
diff changeset 
   221
 
                "isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
wenzelm
parents: 69320
diff changeset 
   222
 
                "isabelle.warning_light_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
wenzelm
parents: 69320
diff changeset 
   223
 
                "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
wenzelm
parents: 69320
diff changeset 
   224
 
                "isabelle.error_light_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   225
 
                "isabelle.error_dark_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   226
 
                "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
wenzelm
parents: 69320
diff changeset 
   227
 
                "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   228
 
                "isabelle.main_light_color": { "type": "string", "default": "rgba(0, 0, 0, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   229
 
                "isabelle.main_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   230
 
                "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   231
 
                "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   232
 
                "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   233
 
                "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   234
 
                "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   235
 
                "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" },
wenzelm
parents: 69320
diff changeset 
   236
 
                "isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   237
 
                "isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   238
 
                "isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   239
 
                "isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   240
 
                "isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   241
 
                "isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   242
 
                "isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   243
 
                "isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   244
 
                "isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   245
 
                "isabelle.tvar_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   246
 
                "isabelle.free_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   247
 
                "isabelle.free_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   248
 
                "isabelle.skolem_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   249
 
                "isabelle.skolem_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   250
 
                "isabelle.bound_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   251
 
                "isabelle.bound_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   252
 
                "isabelle.var_light_color": { "type": "string", "default": "rgba(0, 16, 128, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   253
 
                "isabelle.var_dark_color": { "type": "string", "default": "rgba(156, 220, 254, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   254
 
                "isabelle.inner_numeral_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   255
 
                "isabelle.inner_numeral_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   256
 
                "isabelle.inner_quoted_light_color": { "type": "string", "default": "rgba(163, 21, 21, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   257
 
                "isabelle.inner_quoted_dark_color": { "type": "string", "default": "rgba(206, 145, 120, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   258
 
                "isabelle.inner_cartouche_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   259
 
                "isabelle.inner_cartouche_dark_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   260
 
                "isabelle.inner_comment_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   261
 
                "isabelle.inner_comment_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   262
 
                "isabelle.comment1_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   263
 
                "isabelle.comment1_dark_color": { "type": "string", "default": "rgba(100, 102, 149, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   264
 
                "isabelle.comment2_light_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   265
 
                "isabelle.comment2_dark_color": { "type": "string", "default": "rgba(206, 155, 120, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   266
 
                "isabelle.comment3_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   267
 
                "isabelle.comment3_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   268
 
                "isabelle.dynamic_light_color": { "type": "string", "default": "rgba(121, 94, 38, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   269
 
                "isabelle.dynamic_dark_color": { "type": "string", "default": "rgba(220, 220, 170, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   270
 
                "isabelle.class_parameter_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   271
 
                "isabelle.class_parameter_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
wenzelm
parents: 69320
diff changeset 
   272
 
                "isabelle.antiquote_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
69965
da5e7278286b more markup for various text kinds, notably for nested formal comments;
wenzelm
parents: 69323
diff changeset 
   273
 
                "isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
da5e7278286b more markup for various text kinds, notably for nested formal comments;
wenzelm
parents: 69323
diff changeset 
   274
 
                "isabelle.raw_text_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
da5e7278286b more markup for various text kinds, notably for nested formal comments;
wenzelm
parents: 69323
diff changeset 
   275
 
                "isabelle.raw_text_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
da5e7278286b more markup for various text kinds, notably for nested formal comments;
wenzelm
parents: 69323
diff changeset 
   276
 
                "isabelle.plain_text_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
da5e7278286b more markup for various text kinds, notably for nested formal comments;
wenzelm
parents: 69323
diff changeset 
   277
 
                "isabelle.plain_text_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" }
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   278
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   279
 
        }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   280
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   281
 
    "scripts": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   282
 
        "vscode:prepublish": "tsc -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   283
 
        "compile": "tsc -watch -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   284
 
        "postinstall": "node ./node_modules/vscode/bin/install"
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   285
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   286
 
    "devDependencies": {
67804
c67fb01921eb auto update;
wenzelm
parents: 67744
diff changeset 
   287
 
        "@types/mocha": "^2.2.48",
73169
2ac5a4957f9c auto-update;
wenzelm
parents: 73167
diff changeset 
   288
 
        "@types/node": "^7.10.14",
66673
1e4450008c47 auto update;
wenzelm
parents: 66598
diff changeset 
   289
 
        "mocha": "^3.5.3",
68449
6d0f1a5a16ea auto update;
wenzelm
parents: 67804
diff changeset 
   290
 
        "typescript": "^2.9.2",
71473
be84312a2d53 update to WebviewPanel API, following initial version by Peter Zeller;
wenzelm
parents: 70265
diff changeset 
   291
 
        "vscode": "^1.1.36"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   292
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   293
 
    "dependencies": {
71488
cf39375d5cfe clarified versions -- more reproducible build;
wenzelm
parents: 71482
diff changeset 
   294
 
        "vscode-languageclient": "~3.2.2",
cf39375d5cfe clarified versions -- more reproducible build;
wenzelm
parents: 71482
diff changeset 
   295
 
        "vscode-languageserver-types": "~3.14.0"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
   296
 
    }
65192
7b8dc3910b96 updated package;
wenzelm
parents: 65185
diff changeset 
   297
 
}
isabelle