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