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