src/Tools/VSCode/extension/package.json
author wenzelm
Fri Jun 29 20:32:24 2018 +0200 (11 months ago)
changeset 68546 34d732a83767
parent 68449 6d0f1a5a16ea
child 68870 53a75627aab7
permissions -rw-r--r--
VSCode extension for official Isabelle release;
     1 {
     2     "name": "Isabelle2018",
     3     "displayName": "Isabelle2018",
     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.0",
    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": {
   222                     "type": "string",
   223                     "default": "rgba(255, 160, 160, 1.00)"
   224                 },
   225                 "isabelle.unprocessed_dark_color": {
   226                     "type": "string",
   227                     "default": "rgba(97, 0, 97, 1.00)"
   228                 },
   229                 "isabelle.unprocessed1_light_color": {
   230                     "type": "string",
   231                     "default": "rgba(255, 160, 160, 0.20)"
   232                 },
   233                 "isabelle.unprocessed1_dark_color": {
   234                     "type": "string",
   235                     "default": "rgba(97, 0, 97, 0.20)"
   236                 },
   237                 "isabelle.running_light_color": {
   238                     "type": "string",
   239                     "default": "rgba(97, 0, 97, 1.00)"
   240                 },
   241                 "isabelle.running_dark_color": {
   242                     "type": "string",
   243                     "default": "rgba(255, 160, 160, 1.00)"
   244                 },
   245                 "isabelle.running1_light_color": {
   246                     "type": "string",
   247                     "default": "rgba(97, 0, 97, 0.40)"
   248                 },
   249                 "isabelle.running1_dark_color": {
   250                     "type": "string",
   251                     "default": "rgba(255, 160, 160, 0.40)"
   252                 },
   253                 "isabelle.bad_light_color": {
   254                     "type": "string",
   255                     "default": "rgba(255, 106, 106, 0.40)"
   256                 },
   257                 "isabelle.bad_dark_color": {
   258                     "type": "string",
   259                     "default": "rgba(255, 106, 106, 0.40)"
   260                 },
   261                 "isabelle.intensify_light_color": {
   262                     "type": "string",
   263                     "default": "rgba(255, 204, 102, 0.40)"
   264                 },
   265                 "isabelle.intensify_dark_color": {
   266                     "type": "string",
   267                     "default": "rgba(204, 136, 0, 0.20)"
   268                 },
   269                 "isabelle.markdown_bullet1_light_color": {
   270                     "type": "string",
   271                     "default": "rgba(218, 254, 218, 1.00)"
   272                 },
   273                 "isabelle.markdown_bullet1_dark_color": {
   274                     "type": "string",
   275                     "default": "rgba(5, 199, 5, 0.20)"
   276                 },
   277                 "isabelle.markdown_bullet2_light_color": {
   278                     "type": "string",
   279                     "default": "rgba(255, 240, 204, 1.00)"
   280                 },
   281                 "isabelle.markdown_bullet2_dark_color": {
   282                     "type": "string",
   283                     "default": "rgba(204, 143, 0, 0.20)"
   284                 },
   285                 "isabelle.markdown_bullet3_light_color": {
   286                     "type": "string",
   287                     "default": "rgba(231, 231, 255, 1.00)"
   288                 },
   289                 "isabelle.markdown_bullet3_dark_color": {
   290                     "type": "string",
   291                     "default": "rgba(0, 0, 204, 0.20)"
   292                 },
   293                 "isabelle.markdown_bullet4_light_color": {
   294                     "type": "string",
   295                     "default": "rgba(255, 224, 240, 1.00)"
   296                 },
   297                 "isabelle.markdown_bullet4_dark_color": {
   298                     "type": "string",
   299                     "default": "rgba(204, 0, 105, 0.20)"
   300                 },
   301                 "isabelle.quoted_light_color": {
   302                     "type": "string",
   303                     "default": "rgba(139, 139, 139, 0.10)"
   304                 },
   305                 "isabelle.quoted_dark_color": {
   306                     "type": "string",
   307                     "default": "rgba(150, 150, 150, 0.15)"
   308                 },
   309                 "isabelle.antiquoted_light_color": {
   310                     "type": "string",
   311                     "default": "rgba(255, 200, 50, 0.10)"
   312                 },
   313                 "isabelle.antiquoted_dark_color": {
   314                     "type": "string",
   315                     "default": "rgba(255, 214, 102, 0.15)"
   316                 },
   317                 "isabelle.writeln_light_color": {
   318                     "type": "string",
   319                     "default": "rgba(192, 192, 192, 1.0)"
   320                 },
   321                 "isabelle.writeln_dark_color": {
   322                     "type": "string",
   323                     "default": "rgba(192, 192, 192, 1.0)"
   324                 },
   325                 "isabelle.information_light_color": {
   326                     "type": "string",
   327                     "default": "rgba(193, 223, 238, 1.0)"
   328                 },
   329                 "isabelle.information_dark_color": {
   330                     "type": "string",
   331                     "default": "rgba(193, 223, 238, 1.0)"
   332                 },
   333                 "isabelle.warning_light_color": {
   334                     "type": "string",
   335                     "default": "rgba(255, 140, 0, 1.0)"
   336                 },
   337                 "isabelle.warning_dark_color": {
   338                     "type": "string",
   339                     "default": "rgba(255, 140, 0, 1.0)"
   340                 },
   341                 "isabelle.error_light_color": {
   342                     "type": "string",
   343                     "default": "rgba(178, 34, 34, 1.00)"
   344                 },
   345                 "isabelle.error_dark_color": {
   346                     "type": "string",
   347                     "default": "rgba(178, 34, 34, 1.00)"
   348                 },
   349                 "isabelle.spell_checker_light_color": {
   350                     "type": "string",
   351                     "default": "rgba(0, 0, 255, 1.0)"
   352                 },
   353                 "isabelle.spell_checker_dark_color": {
   354                     "type": "string",
   355                     "default": "rgba(86, 156, 214, 1.00)"
   356                 },
   357                 "isabelle.main_light_color": {
   358                     "type": "string",
   359                     "default": "rgba(0, 0, 0, 1.00)"
   360                 },
   361                 "isabelle.main_dark_color": {
   362                     "type": "string",
   363                     "default": "rgba(212, 212, 212, 1.00)"
   364                 },
   365                 "isabelle.keyword1_light_color": {
   366                     "type": "string",
   367                     "default": "rgba(175, 0, 219, 1.00)"
   368                 },
   369                 "isabelle.keyword1_dark_color": {
   370                     "type": "string",
   371                     "default": "rgba(197, 134, 192, 1.00)"
   372                 },
   373                 "isabelle.keyword2_light_color": {
   374                     "type": "string",
   375                     "default": "rgba(9, 136, 90, 1.00)"
   376                 },
   377                 "isabelle.keyword2_dark_color": {
   378                     "type": "string",
   379                     "default": "rgba(181, 206, 168, 1.00)"
   380                 },
   381                 "isabelle.keyword3_light_color": {
   382                     "type": "string",
   383                     "default": "rgba(38, 127, 153, 1.00)"
   384                 },
   385                 "isabelle.keyword3_dark_color": {
   386                     "type": "string",
   387                     "default": "rgba(78, 201, 176), 1.00)"
   388                 },
   389                 "isabelle.quasi_keyword_light_color": {
   390                     "type": "string",
   391                     "default": "rgba(153, 102, 255, 1.00)"
   392                 },
   393                 "isabelle.quasi_keyword_dark_color": {
   394                     "type": "string",
   395                     "default": "rgba(153, 102, 255, 1.00)"
   396                 },
   397                 "isabelle.improper_light_color": {
   398                     "type": "string",
   399                     "default": "rgba(205, 49, 49, 1.00)"
   400                 },
   401                 "isabelle.improper_dark_color": {
   402                     "type": "string",
   403                     "default": "rgba(244, 71, 71, 1.00)"
   404                 },
   405                 "isabelle.operator_light_color": {
   406                     "type": "string",
   407                     "default": "rgba(50, 50, 50, 1.00)"
   408                 },
   409                 "isabelle.operator_dark_color": {
   410                     "type": "string",
   411                     "default": "rgba(212, 212, 212, 1.00)"
   412                 },
   413                 "isabelle.tfree_light_color": {
   414                     "type": "string",
   415                     "default": "rgba(160, 32, 240, 1.00)"
   416                 },
   417                 "isabelle.tfree_dark_color": {
   418                     "type": "string",
   419                     "default": "rgba(160, 32, 240, 1.00)"
   420                 },
   421                 "isabelle.tvar_light_color": {
   422                     "type": "string",
   423                     "default": "rgba(160, 32, 240, 1.00)"
   424                 },
   425                 "isabelle.tvar_dark_color": {
   426                     "type": "string",
   427                     "default": "rgba(160, 32, 240, 1.00)"
   428                 },
   429                 "isabelle.free_light_color": {
   430                     "type": "string",
   431                     "default": "rgba(0, 0, 255, 1.00)"
   432                 },
   433                 "isabelle.free_dark_color": {
   434                     "type": "string",
   435                     "default": "rgba(86, 156, 214, 1.00)"
   436                 },
   437                 "isabelle.skolem_light_color": {
   438                     "type": "string",
   439                     "default": "rgba(210, 105, 30, 1.00)"
   440                 },
   441                 "isabelle.skolem_dark_color": {
   442                     "type": "string",
   443                     "default": "rgba(210, 105, 30, 1.00)"
   444                 },
   445                 "isabelle.bound_light_color": {
   446                     "type": "string",
   447                     "default": "rgba(0, 128, 0, 1.00)"
   448                 },
   449                 "isabelle.bound_dark_color": {
   450                     "type": "string",
   451                     "default": "rgba(96, 139, 78, 1.00)"
   452                 },
   453                 "isabelle.var_light_color": {
   454                     "type": "string",
   455                     "default": "rgba(0, 16, 128, 1.00)"
   456                 },
   457                 "isabelle.var_dark_color": {
   458                     "type": "string",
   459                     "default": "rgba(156, 220, 254, 1.00)"
   460                 },
   461                 "isabelle.inner_numeral_light_color": {
   462                     "type": "string",
   463                     "default": "rgba(9, 136, 90, 1.00)"
   464                 },
   465                 "isabelle.inner_numeral_dark_color": {
   466                     "type": "string",
   467                     "default": "rgba(181, 206, 168, 1.00)"
   468                 },
   469                 "isabelle.inner_quoted_light_color": {
   470                     "type": "string",
   471                     "default": "rgba(163, 21, 21, 1.00)"
   472                 },
   473                 "isabelle.inner_quoted_dark_color": {
   474                     "type": "string",
   475                     "default": "rgba(206, 145, 120, 1.00)"
   476                 },
   477                 "isabelle.inner_cartouche_light_color": {
   478                     "type": "string",
   479                     "default": "rgba(129, 31, 63, 1.00)"
   480                 },
   481                 "isabelle.inner_cartouche_dark_color": {
   482                     "type": "string",
   483                     "default": "rgba(209, 105, 105, 1.00)"
   484                 },
   485                 "isabelle.inner_comment_light_color": {
   486                     "type": "string",
   487                     "default": "rgba(0, 128, 0, 1.00)"
   488                 },
   489                 "isabelle.inner_comment_dark_color": {
   490                     "type": "string",
   491                     "default": "rgba(96, 139, 78, 1.00)"
   492                 },
   493                 "isabelle.dynamic_light_color": {
   494                     "type": "string",
   495                     "default": "rgba(121, 94, 38, 1.00)"
   496                 },
   497                 "isabelle.dynamic_dark_color": {
   498                     "type": "string",
   499                     "default": "rgba(220, 220, 170, 1.00)"
   500                 },
   501                 "isabelle.class_parameter_light_color": {
   502                     "type": "string",
   503                     "default": "rgba(210, 105, 30, 1.00)"
   504                 },
   505                 "isabelle.class_parameter_dark_color": {
   506                     "type": "string",
   507                     "default": "rgba(210, 105, 30, 1.00)"
   508                 },
   509                 "isabelle.antiquote_light_color": {
   510                     "type": "string",
   511                     "default": "rgba(102, 0, 204, 1.00)"
   512                 },
   513                 "isabelle.antiquote_dark_color": {
   514                     "type": "string",
   515                     "default": "rgba(197, 134, 192, 1.00)"
   516                 }
   517             }
   518         }
   519     },
   520     "scripts": {
   521         "vscode:prepublish": "tsc -p ./",
   522         "compile": "tsc -watch -p ./",
   523         "postinstall": "node ./node_modules/vscode/bin/install"
   524     },
   525     "devDependencies": {
   526         "@types/mocha": "^2.2.48",
   527         "@types/node": "^7.0.66",
   528         "mocha": "^3.5.3",
   529         "typescript": "^2.9.2",
   530         "vscode": "^1.1.18"
   531     },
   532     "dependencies": {
   533         "vscode-languageclient": "~3.2.2"
   534     }
   535 }