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 14:14:33 +0100
changeset 64749 2450b62574c6
parent 64743 ebaf9d01a964
child 64750 1f855e03455f
permissions -rw-r--r--
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
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"
64749
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
    30
 
            },
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
    31
 
            {
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
    32
 
                "id": "isabelle-ml",
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
    33
 
                "aliases": ["Isabelle/ML"],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
    34
 
                "extensions": [".ML"],
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
    35
 
                "configuration": "./isabelle-language.json"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    36
 
            }
64749
2450b62574c6 grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist
wenzelm
parents: 64743
diff changeset 
    37
 







64605






9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    38


        ],








64749






2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    39


        "grammars": [













2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    40


            {








64738






bcdecd466cb2
generate static TextMate grammar for VSCode editor;



wenzelm


parents: 
64736

diff
changeset




    41


                "language": "isabelle",













bcdecd466cb2
generate static TextMate grammar for VSCode editor;



wenzelm


parents: 
64736

diff
changeset




    42


                "scopeName": "source.isabelle",













bcdecd466cb2
generate static TextMate grammar for VSCode editor;



wenzelm


parents: 
64736

diff
changeset




    43


                "path": "./isabelle-grammar.json"








64749






2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    44


            },













2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    45


            {













2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    46


                "language": "isabelle-ml",













2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    47


                "scopeName": "source.isabelle-ml",













2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    48


                "path": "./isabelle-ml-grammar.json"













2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    49


            }













2450b62574c6
grammar for Isabelle/ML, based on https://github.com/textmate/standard-ml.tmbundle/blob/fea2448/Syntaxes/Standard%20ML.plist



wenzelm


parents: 
64743

diff
changeset




    50


        ],








64605






9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    51


        "configuration": {













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    52


            "title": "Isabelle",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    53


            "properties": {













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    54


                "isabelle.home": {













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    55


                    "type": "string",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    56


                    "default": "",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    57


                    "description": "ISABELLE_HOME directory"








64734






12558536d977
more configuration;



wenzelm


parents: 
64696

diff
changeset




    58


                },








64743





wenzelm


parents: 
64738

diff
changeset




    59


                "isabelle.args": {








64734






12558536d977
more configuration;



wenzelm


parents: 
64696

diff
changeset




    60


                    "type": "array",













12558536d977
more configuration;



wenzelm


parents: 
64696

diff
changeset




    61


                    "items": { "type": "string" },













12558536d977
more configuration;



wenzelm


parents: 
64696

diff
changeset




    62


                    "default": [],













12558536d977
more configuration;



wenzelm


parents: 
64696

diff
changeset




    63


                    "description": "command-line arguments for isabelle vscode_server"








64605






9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    64


                }













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


        }













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    67


    },













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    68


    "scripts": {













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    69


        "vscode:prepublish": "tsc -p ./",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    70


        "compile": "tsc -watch -p ./",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    71


        "postinstall": "node ./node_modules/vscode/bin/install"













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    72


    },













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    73


    "devDependencies": {













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    74


        "typescript": "^2.0.3",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    75


        "vscode": "^1.0.0",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    76


        "mocha": "^2.3.3",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    77


        "@types/node": "^6.0.40",













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    78


        "@types/mocha": "^2.2.32"













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    79


    },













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    80


    "dependencies": {













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    81


        "vscode-languageclient": "^2.6.3"













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    82


    }













9c1173a7e4cb
basic support for VSCode Language Server protocol;



wenzelm


parents: 

diff
changeset




    83


}














isabelle