src/Tools/VSCode/extension/package.json
author wenzelm
Mon Jan 02 18:08:04 2017 +0100 (2017-01-02)
changeset 64757 7e3924224769
parent 64755 ceb81f4928ea
child 64769 6be5ec46688f
permissions -rw-r--r--
updated package;
     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.2.0",
    14     "publisher": "makarius",
    15     "license": "BSD-3-Clause",
    16     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    17     "engines": { "vscode": "^1.8.0" },
    18     "categories": ["Languages"],
    19     "activationEvents": [
    20         "onLanguage:isabelle",
    21         "onLanguage:isabelle-ml"
    22     ],
    23     "main": "./out/src/extension",
    24     "contributes": {
    25         "languages": [
    26             {
    27                 "id": "isabelle",
    28                 "aliases": ["Isabelle"],
    29                 "extensions": [".thy"],
    30                 "configuration": "./isabelle-language.json"
    31             },
    32             {
    33                 "id": "isabelle-ml",
    34                 "aliases": ["Isabelle/ML"],
    35                 "extensions": [".ML"],
    36                 "configuration": "./isabelle-ml-language.json"
    37             }
    38 
    39         ],
    40         "grammars": [
    41             {
    42                 "language": "isabelle",
    43                 "scopeName": "source.isabelle",
    44                 "path": "./isabelle-grammar.json"
    45             },
    46             {
    47                 "language": "isabelle-ml",
    48                 "scopeName": "source.isabelle-ml",
    49                 "path": "./isabelle-ml-grammar.json"
    50             }
    51         ],
    52         "configuration": {
    53             "title": "Isabelle",
    54             "properties": {
    55                 "isabelle.cygwin_root": {
    56                     "type": "string",
    57                     "default": "",
    58                     "description": "Root of Cygwin installation on Windows (e.g. ISABELLE_HOME/cygwin)."
    59                 },
    60                 "isabelle.home": {
    61                     "type": "string",
    62                     "default": "",
    63                     "description": "Main Isabelle directory (ISABELLE_HOME)."
    64                 },
    65                 "isabelle.args": {
    66                     "type": "array",
    67                     "items": { "type": "string" },
    68                     "default": [],
    69                     "description": "Command-line arguments for isabelle vscode_server process."
    70                 }
    71             }
    72         }
    73     },
    74     "scripts": {
    75         "vscode:prepublish": "tsc -p ./",
    76         "compile": "tsc -watch -p ./",
    77         "postinstall": "node ./node_modules/vscode/bin/install"
    78     },
    79     "devDependencies": {
    80         "typescript": "^2.0.3",
    81         "vscode": "^1.0.0",
    82         "mocha": "^2.3.3",
    83         "@types/node": "^6.0.40",
    84         "@types/mocha": "^2.2.32"
    85     },
    86     "dependencies": {
    87         "vscode-languageclient": "^2.6.3"
    88     }
    89 }