src/Tools/VSCode/extension/package.json
author wenzelm
Sun Jan 01 21:26:26 2017 +0100 (2017-01-01)
changeset 64736 07bf45283b92
parent 64735 4ad6d21545bd
child 64738 bcdecd466cb2
permissions -rw-r--r--
clarified file name;
     1 {
     2     "name": "isabelle",
     3     "displayName": "Isabelle",
     4     "description": "Isabelle Theorem Prover",
     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.1.0",
    14     "publisher": "makarius",
    15     "license": "BSD-3-Clause",
    16     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    17     "engines": { "vscode": "^1.7.0" },
    18     "categories": ["Languages"],
    19     "activationEvents": [
    20         "onLanguage:isabelle"
    21     ],
    22     "main": "./out/src/extension",
    23     "contributes": {
    24         "languages": [
    25             {
    26                 "id": "isabelle",
    27                 "aliases": ["Isabelle"],
    28                 "extensions": [".thy"],
    29                 "configuration": "./isabelle-language.json"
    30             }
    31         ],
    32         "configuration": {
    33             "title": "Isabelle",
    34             "properties": {
    35                 "isabelle.home": {
    36                     "type": "string",
    37                     "default": "",
    38                     "description": "ISABELLE_HOME directory"
    39                 },
    40                 "isabelle.arguments": {
    41                     "type": "array",
    42                     "items": { "type": "string" },
    43                     "default": [],
    44                     "description": "command-line arguments for isabelle vscode_server"
    45                 }
    46             }
    47         }
    48     },
    49     "scripts": {
    50         "vscode:prepublish": "tsc -p ./",
    51         "compile": "tsc -watch -p ./",
    52         "postinstall": "node ./node_modules/vscode/bin/install"
    53     },
    54     "devDependencies": {
    55         "typescript": "^2.0.3",
    56         "vscode": "^1.0.0",
    57         "mocha": "^2.3.3",
    58         "@types/node": "^6.0.40",
    59         "@types/mocha": "^2.2.32"
    60     },
    61     "dependencies": {
    62         "vscode-languageclient": "^2.6.3"
    63     }
    64 }