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/no_extension/package.json
author wenzelm
Wed, 02 Mar 2022 20:32:16 +0100
changeset 75186 84532574c209
parent 75169 src/Tools/VSCode/extension/package.json@b61dc9070344
child 75187 bafa8e6431bc
permissions -rw-r--r--
disregard public marketplace;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
     1
 
{
75186
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
     2
 
    "name": "Isabelle",
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
     3
 
    "displayName": "Isabelle",
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
     4
 
    "description": "Isabelle Prover IDE",
64605
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"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    11
 
    ],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    12
 
    "icon": "isabelle.png",
75141
d65728c611f7 pro-forma update of version, for ongoing development;
wenzelm
parents: 75139
diff changeset 
    13
 
    "version": "2.0.0",
75186
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    14
 
    "publisher": "makarius",
65091
f7aaf4ce55a9 clarified LICENSE;
wenzelm
parents: 64949
diff changeset 
    15
 
    "license": "MIT",
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    16
 
    "repository": {
71482
aa7b0a5e9fe3 updated for release;
wenzelm
parents: 71481
diff changeset 
    17
 
        "url": "https://isabelle-dev.sketis.net"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    18
 
    },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    19
 
    "engines": {
75186
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    20
 
        "vscode": "^1.34.0"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    21
 
    },
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    22
 
    "categories": [
71482
aa7b0a5e9fe3 updated for release;
wenzelm
parents: 71481
diff changeset 
    23
 
        "Programming Languages"
66095
78a1aedd1761 automatic reformatting;
wenzelm
parents: 66080
diff changeset 
    24
 
    ],
75186
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    25
 
    "activationEvents": [],
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    26
 
    "main": "./out/src/extension",
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    27
 
    "scripts": {
75186
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    28
 
        "vscode:prepublish": "tsc -p ./",
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    29
 
        "compile": "tsc -watch -p ./",
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    30
 
        "postinstall": "node ./node_modules/vscode/bin/install"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    31
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    32
 
    "devDependencies": {
75186
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    33
 
        "@types/mocha": "^2.2.48",
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    34
 
        "@types/node": "^10.11.0",
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    35
 
        "mocha": "^3.5.3",
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    36
 
        "typescript": "^3.9.9",
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    37
 
        "vscode": "^1.1.36"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    38
 
    },
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    39
 
    "dependencies": {
75186
84532574c209 disregard public marketplace;
wenzelm
parents: 75169
diff changeset 
    40
 
        "vscode-languageclient": "~5.2.1",
73543
f8c6c45cb112 some tinkering with npm versions;
wenzelm
parents: 73542
diff changeset 
    41
 
        "vscode-languageserver-types": "~3.16.0"
64605
9c1173a7e4cb basic support for VSCode Language Server protocol;
wenzelm
parents:
diff changeset 
    42
 
    }
65192
7b8dc3910b96 updated package;
wenzelm
parents: 65185
diff changeset 
    43
 
}
isabelle