src/Tools/VSCode/extension/package.json
author wenzelm
Wed Nov 21 14:45:24 2018 +0100 (7 months ago)
changeset 69321 42b91ee343ee
parent 69320 fc221fa79741
child 69323 7698ad5d7036
permissions -rw-r--r--
tuned;
     1 {
     2     "name": "isabelle",
     3     "displayName": "Isabelle",
     4     "description": "Isabelle Prover IDE",
     5     "keywords": [
     6         "theorem prover",
     7         "formalized mathematics",
     8         "mathematical logic",
     9         "functional programming",
    10         "document preparation"
    11     ],
    12     "icon": "isabelle.png",
    13     "version": "1.1.1",
    14     "publisher": "makarius",
    15     "license": "MIT",
    16     "repository": {
    17         "url": "https://isabelle.in.tum.de/repos/isabelle"
    18     },
    19     "engines": {
    20         "vscode": "^1.8.0"
    21     },
    22     "categories": [
    23         "Languages"
    24     ],
    25     "activationEvents": [
    26         "onLanguage:isabelle",
    27         "onLanguage:isabelle-ml",
    28         "onLanguage:bibtex",
    29         "onCommand:isabelle.preview",
    30         "onCommand:isabelle.preview-split",
    31         "onCommand:isabelle.preview-source"
    32     ],
    33     "main": "./out/src/extension",
    34     "contributes": {
    35         "commands": [
    36             {
    37                 "command": "isabelle.state",
    38                 "title": "Show State",
    39                 "category": "Isabelle"
    40             },
    41             {
    42                 "command": "isabelle.preview",
    43                 "title": "Open Preview",
    44                 "category": "Isabelle",
    45                 "icon": {
    46                     "light": "./media/Preview.svg",
    47                     "dark": "./media/Preview_inverse.svg"
    48                 }
    49             },
    50             {
    51                 "command": "isabelle.preview-update",
    52                 "title": "Update Preview",
    53                 "category": "Isabelle",
    54                 "icon": {
    55                     "light": "./media/Preview.svg",
    56                     "dark": "./media/Preview_inverse.svg"
    57                 }
    58             },
    59             {
    60                 "command": "isabelle.preview-split",
    61                 "title": "Open Preview (Split Editor)",
    62                 "category": "Isabelle",
    63                 "icon": {
    64                     "light": "./media/PreviewOnRightPane_16x.svg",
    65                     "dark": "./media/PreviewOnRightPane_16x_dark.svg"
    66                 }
    67             },
    68             {
    69                 "command": "isabelle.preview-source",
    70                 "title": "Show Source",
    71                 "category": "Isabelle",
    72                 "icon": {
    73                     "light": "./media/ViewSource.svg",
    74                     "dark": "./media/ViewSource_inverse.svg"
    75                 }
    76             },
    77             {
    78                 "command": "isabelle.include-word",
    79                 "title": "Include word",
    80                 "category": "Isabelle"
    81             },
    82             {
    83                 "command": "isabelle.include-word-permanently",
    84                 "title": "Include word permanently",
    85                 "category": "Isabelle"
    86             },
    87             {
    88                 "command": "isabelle.exclude-word",
    89                 "title": "Exclude word",
    90                 "category": "Isabelle"
    91             },
    92             {
    93                 "command": "isabelle.exclude-word-permanently",
    94                 "title": "Exclude word permanently",
    95                 "category": "Isabelle"
    96             },
    97             {
    98                 "command": "isabelle.reset-words",
    99                 "title": "Reset non-permanent words",
   100                 "category": "Isabelle"
   101             }
   102         ],
   103         "menus": {
   104             "editor/title": [
   105                 {
   106                     "when": "editorLangId == isabelle",
   107                     "command": "isabelle.preview",
   108                     "group": "navigation"
   109                 },
   110                 {
   111                     "when": "editorLangId == isabelle-ml",
   112                     "command": "isabelle.preview",
   113                     "group": "navigation"
   114                 },
   115                 {
   116                     "when": "editorLangId == bibtex",
   117                     "command": "isabelle.preview",
   118                     "group": "navigation"
   119                 },
   120                 {
   121                     "when": "editorLangId == isabelle",
   122                     "command": "isabelle.preview-split",
   123                     "group": "navigation"
   124                 },
   125                 {
   126                     "when": "editorLangId == isabelle-ml",
   127                     "command": "isabelle.preview-split",
   128                     "group": "navigation"
   129                 },
   130                 {
   131                     "when": "editorLangId == bibtex",
   132                     "command": "isabelle.preview-split",
   133                     "group": "navigation"
   134                 },
   135                 {
   136                     "when": "resourceScheme == isabelle-preview",
   137                     "command": "isabelle.preview-update",
   138                     "group": "navigation"
   139                 },
   140                 {
   141                     "when": "resourceScheme == isabelle-preview",
   142                     "command": "isabelle.preview-source",
   143                     "group": "navigation"
   144                 }
   145             ],
   146             "explorer/context": [
   147                 {
   148                     "when": "resourceLangId == isabelle",
   149                     "command": "isabelle.preview",
   150                     "group": "navigation"
   151                 },
   152                 {
   153                     "when": "resourceLangId == isabelle-ml",
   154                     "command": "isabelle.preview",
   155                     "group": "navigation"
   156                 },
   157                 {
   158                     "when": "resourceLangId == bibtex",
   159                     "command": "isabelle.preview",
   160                     "group": "navigation"
   161                 }
   162             ]
   163         },
   164         "languages": [
   165             {
   166                 "id": "isabelle",
   167                 "aliases": [
   168                     "Isabelle"
   169                 ],
   170                 "extensions": [
   171                     ".thy"
   172                 ],
   173                 "configuration": "./isabelle-language.json"
   174             },
   175             {
   176                 "id": "isabelle-ml",
   177                 "aliases": [
   178                     "Isabelle/ML"
   179                 ],
   180                 "extensions": [
   181                     ".ML",
   182                     ".sml",
   183                     ".sig"
   184                 ],
   185                 "configuration": "./isabelle-ml-language.json"
   186             }
   187         ],
   188         "grammars": [
   189             {
   190                 "language": "isabelle",
   191                 "scopeName": "source.isabelle",
   192                 "path": "./isabelle-grammar.json"
   193             },
   194             {
   195                 "language": "isabelle-ml",
   196                 "scopeName": "source.isabelle-ml",
   197                 "path": "./isabelle-ml-grammar.json"
   198             }
   199         ],
   200         "configuration": {
   201             "title": "Isabelle",
   202             "properties": {
   203                 "isabelle.home": {
   204                     "type": "string",
   205                     "default": "",
   206                     "description": "Main Isabelle directory (ISABELLE_HOME)."
   207                 },
   208                 "isabelle.args": {
   209                     "type": "array",
   210                     "items": {
   211                         "type": "string"
   212                     },
   213                     "default": [],
   214                     "description": "Command-line arguments for isabelle vscode_server process."
   215                 },
   216                 "isabelle.cygwin_root": {
   217                     "type": "string",
   218                     "default": "",
   219                     "description": "Cygwin installation on Windows (only relevant when running directly from the Isabelle repository)."
   220                 },
   221                 "isabelle.unprocessed_light_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
   222                 "isabelle.unprocessed_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
   223                 "isabelle.unprocessed1_light_color": { "type": "string", "default": "rgba(255, 160, 160, 0.20)" },
   224                 "isabelle.unprocessed1_dark_color": { "type": "string", "default": "rgba(97, 0, 97, 0.20)" },
   225                 "isabelle.running_light_color": { "type": "string", "default": "rgba(97, 0, 97, 1.00)" },
   226                 "isabelle.running_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 1.00)" },
   227                 "isabelle.running1_light_color": { "type": "string", "default": "rgba(97, 0, 97, 0.40)" },
   228                 "isabelle.running1_dark_color": { "type": "string", "default": "rgba(255, 160, 160, 0.40)" },
   229                 "isabelle.canceled_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
   230                 "isabelle.canceled_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
   231                 "isabelle.bad_light_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
   232                 "isabelle.bad_dark_color": { "type": "string", "default": "rgba(255, 106, 106, 0.40)" },
   233                 "isabelle.intensify_light_color": { "type": "string", "default": "rgba(255, 204, 102, 0.40)" },
   234                 "isabelle.intensify_dark_color": { "type": "string", "default": "rgba(204, 136, 0, 0.20)" },
   235                 "isabelle.markdown_bullet1_light_color": { "type": "string", "default": "rgba(218, 254, 218, 1.00)" },
   236                 "isabelle.markdown_bullet1_dark_color": { "type": "string", "default": "rgba(5, 199, 5, 0.20)" },
   237                 "isabelle.markdown_bullet2_light_color": { "type": "string", "default": "rgba(255, 240, 204, 1.00)" },
   238                 "isabelle.markdown_bullet2_dark_color": { "type": "string", "default": "rgba(204, 143, 0, 0.20)" },
   239                 "isabelle.markdown_bullet3_light_color": { "type": "string", "default": "rgba(231, 231, 255, 1.00)" },
   240                 "isabelle.markdown_bullet3_dark_color": { "type": "string", "default": "rgba(0, 0, 204, 0.20)" },
   241                 "isabelle.markdown_bullet4_light_color": { "type": "string", "default": "rgba(255, 224, 240, 1.00)" },
   242                 "isabelle.markdown_bullet4_dark_color": { "type": "string", "default": "rgba(204, 0, 105, 0.20)" },
   243                 "isabelle.quoted_light_color": { "type": "string", "default": "rgba(139, 139, 139, 0.10)" },
   244                 "isabelle.quoted_dark_color": { "type": "string", "default": "rgba(150, 150, 150, 0.15)" },
   245                 "isabelle.antiquoted_light_color": { "type": "string", "default": "rgba(255, 200, 50, 0.10)" },
   246                 "isabelle.antiquoted_dark_color": { "type": "string", "default": "rgba(255, 214, 102, 0.15)" },
   247                 "isabelle.writeln_light_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
   248                 "isabelle.writeln_dark_color": { "type": "string", "default": "rgba(192, 192, 192, 1.0)" },
   249                 "isabelle.information_light_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
   250                 "isabelle.information_dark_color": { "type": "string", "default": "rgba(193, 223, 238, 1.0)" },
   251                 "isabelle.warning_light_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
   252                 "isabelle.warning_dark_color": { "type": "string", "default": "rgba(255, 140, 0, 1.0)" },
   253                 "isabelle.error_light_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
   254                 "isabelle.error_dark_color": { "type": "string", "default": "rgba(178, 34, 34, 1.00)" },
   255                 "isabelle.spell_checker_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.0)" },
   256                 "isabelle.spell_checker_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
   257                 "isabelle.main_light_color": { "type": "string", "default": "rgba(0, 0, 0, 1.00)" },
   258                 "isabelle.main_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
   259                 "isabelle.keyword1_light_color": { "type": "string", "default": "rgba(175, 0, 219, 1.00)" },
   260                 "isabelle.keyword1_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" },
   261                 "isabelle.keyword2_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
   262                 "isabelle.keyword2_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
   263                 "isabelle.keyword3_light_color": { "type": "string", "default": "rgba(38, 127, 153, 1.00)" },
   264                 "isabelle.keyword3_dark_color": { "type": "string", "default": "rgba(78, 201, 176), 1.00)" },
   265                 "isabelle.quasi_keyword_light_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
   266                 "isabelle.quasi_keyword_dark_color": { "type": "string", "default": "rgba(153, 102, 255, 1.00)" },
   267                 "isabelle.improper_light_color": { "type": "string", "default": "rgba(205, 49, 49, 1.00)" },
   268                 "isabelle.improper_dark_color": { "type": "string", "default": "rgba(244, 71, 71, 1.00)" },
   269                 "isabelle.operator_light_color": { "type": "string", "default": "rgba(50, 50, 50, 1.00)" },
   270                 "isabelle.operator_dark_color": { "type": "string", "default": "rgba(212, 212, 212, 1.00)" },
   271                 "isabelle.tfree_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
   272                 "isabelle.tfree_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
   273                 "isabelle.tvar_light_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
   274                 "isabelle.tvar_dark_color": { "type": "string", "default": "rgba(160, 32, 240, 1.00)" },
   275                 "isabelle.free_light_color": { "type": "string", "default": "rgba(0, 0, 255, 1.00)" },
   276                 "isabelle.free_dark_color": { "type": "string", "default": "rgba(86, 156, 214, 1.00)" },
   277                 "isabelle.skolem_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
   278                 "isabelle.skolem_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
   279                 "isabelle.bound_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
   280                 "isabelle.bound_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
   281                 "isabelle.var_light_color": { "type": "string", "default": "rgba(0, 16, 128, 1.00)" },
   282                 "isabelle.var_dark_color": { "type": "string", "default": "rgba(156, 220, 254, 1.00)" },
   283                 "isabelle.inner_numeral_light_color": { "type": "string", "default": "rgba(9, 136, 90, 1.00)" },
   284                 "isabelle.inner_numeral_dark_color": { "type": "string", "default": "rgba(181, 206, 168, 1.00)" },
   285                 "isabelle.inner_quoted_light_color": { "type": "string", "default": "rgba(163, 21, 21, 1.00)" },
   286                 "isabelle.inner_quoted_dark_color": { "type": "string", "default": "rgba(206, 145, 120, 1.00)" },
   287                 "isabelle.inner_cartouche_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" },
   288                 "isabelle.inner_cartouche_dark_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" },
   289                 "isabelle.inner_comment_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
   290                 "isabelle.inner_comment_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
   291                 "isabelle.comment1_light_color": { "type": "string", "default": "rgba(129, 31, 63, 1.00)" },
   292                 "isabelle.comment1_dark_color": { "type": "string", "default": "rgba(100, 102, 149, 1.00)" },
   293                 "isabelle.comment2_light_color": { "type": "string", "default": "rgba(209, 105, 105, 1.00)" },
   294                 "isabelle.comment2_dark_color": { "type": "string", "default": "rgba(206, 155, 120, 1.00)" },
   295                 "isabelle.comment3_light_color": { "type": "string", "default": "rgba(0, 128, 0, 1.00)" },
   296                 "isabelle.comment3_dark_color": { "type": "string", "default": "rgba(96, 139, 78, 1.00)" },
   297                 "isabelle.dynamic_light_color": { "type": "string", "default": "rgba(121, 94, 38, 1.00)" },
   298                 "isabelle.dynamic_dark_color": { "type": "string", "default": "rgba(220, 220, 170, 1.00)" },
   299                 "isabelle.class_parameter_light_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
   300                 "isabelle.class_parameter_dark_color": { "type": "string", "default": "rgba(210, 105, 30, 1.00)" },
   301                 "isabelle.antiquote_light_color": { "type": "string", "default": "rgba(102, 0, 204, 1.00)" },
   302                 "isabelle.antiquote_dark_color": { "type": "string", "default": "rgba(197, 134, 192, 1.00)" }
   303             }
   304         }
   305     },
   306     "scripts": {
   307         "vscode:prepublish": "tsc -p ./",
   308         "compile": "tsc -watch -p ./",
   309         "postinstall": "node ./node_modules/vscode/bin/install"
   310     },
   311     "devDependencies": {
   312         "@types/mocha": "^2.2.48",
   313         "@types/node": "^7.0.66",
   314         "mocha": "^3.5.3",
   315         "typescript": "^2.9.2",
   316         "vscode": "^1.1.18"
   317     },
   318     "dependencies": {
   319         "vscode-languageclient": "~3.2.2"
   320     }
   321 }