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