Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/VSCode/extension/package.json
author wenzelm
Mon, 02 Jan 2017 09:39:00 +0100
changeset 64743 ebaf9d01a964
parent 64738 bcdecd466cb2
child 64749 2450b62574c6
permissions -rw-r--r--
tuned;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     1
 
{
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     2
 
    "name": "isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     3
 
    "displayName": "Isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     4
 
    "description": "Isabelle Theorem Prover",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     5
 
    "keywords": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     6
 
        "theorem prover",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     7
 
        "formalized mathematics",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     8
 
        "mathematical logic",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     9
 
        "functional programming",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    10
 
        "document preparation"
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    11
 
        ],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    12
 
    "icon": "isabelle.png",
64695
135313951082 updated VSCode extension to "isabelle vscode_server";
wenzelm
parents: 64605
diff changeset 
    13
 
    "version": "0.1.0",
64696
e991a4fab0dc publish extension on Visual Studio Marketplace;
wenzelm
parents: 64695
diff changeset 
    14
 
    "publisher": "makarius",
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    15
 
    "license": "BSD-3-Clause",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    16
 
    "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
64735
wenzelm
parents: 64734
diff changeset 
    17
 
    "engines": { "vscode": "^1.7.0" },
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    18
 
    "categories": ["Languages"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    19
 
    "activationEvents": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    20
 
        "onLanguage:isabelle"
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    21
 
    ],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    22
 
    "main": "./out/src/extension",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    23
 
    "contributes": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    24
 
        "languages": [
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    25
 
            {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    26
 
                "id": "isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    27
 
                "aliases": ["Isabelle"],
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    28
 
                "extensions": [".thy"],
64736
07bf45283b92 clarified file name;
wenzelm
parents: 64735
diff changeset 
    29
 
                "configuration": "./isabelle-language.json"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    30
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    31
 
        ],
64738
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
    32
 
        "grammars": [{
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
    33
 
                "language": "isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
    34
 
                "scopeName": "source.isabelle",
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
    35
 
                "path": "./isabelle-grammar.json"
bcdecd466cb2 generate static TextMate grammar for VSCode editor;
wenzelm
parents: 64736
diff changeset 
    36
 
        }],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    37
 
        "configuration": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    38
 
            "title": "Isabelle",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    39
 
            "properties": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    40
 
                "isabelle.home": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    41
 
                    "type": "string",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    42
 
                    "default": "",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    43
 
                    "description": "ISABELLE_HOME directory"
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
    44
 
                },
64743
wenzelm
parents: 64738
diff changeset 
    45
 
                "isabelle.args": {
64734
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
    46
 
                    "type": "array",
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
    47
 
                    "items": { "type": "string" },
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
    48
 
                    "default": [],
12558536d977 more configuration;
wenzelm
parents: 64696
diff changeset 
    49
 
                    "description": "command-line arguments for isabelle vscode_server"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    50
 
                }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    51
 
            }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    52
 
        }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    53
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    54
 
    "scripts": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    55
 
        "vscode:prepublish": "tsc -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    56
 
        "compile": "tsc -watch -p ./",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    57
 
        "postinstall": "node ./node_modules/vscode/bin/install"
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    58
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    59
 
    "devDependencies": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    60
 
        "typescript": "^2.0.3",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    61
 
        "vscode": "^1.0.0",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    62
 
        "mocha": "^2.3.3",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    63
 
        "@types/node": "^6.0.40",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    64
 
        "@types/mocha": "^2.2.32"
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    65
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    66
 
    "dependencies": {
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    67
 
        "vscode-languageclient": "^2.6.3"
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    68
 
    }
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    69
 
}
isabelle