src/Tools/VSCode/extension/package.json
changeset 64605 9c1173a7e4cb
child 64695 135313951082
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Mon Dec 19 20:27:49 2016 +0100
     1.3 @@ -0,0 +1,58 @@
     1.4 +{
     1.5 +    "name": "isabelle",
     1.6 +    "displayName": "Isabelle",
     1.7 +    "description": "Isabelle Theorem Prover",
     1.8 +    "keywords": [
     1.9 +        "theorem prover",
    1.10 +        "formalized mathematics",
    1.11 +        "mathematical logic",
    1.12 +        "functional programming",
    1.13 +        "document preparation"
    1.14 +        ],
    1.15 +    "icon": "isabelle.png",
    1.16 +    "version": "0.0.1",
    1.17 +    "publisher": "Makarius",
    1.18 +    "license": "BSD-3-Clause",
    1.19 +    "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    1.20 +    "engines": { "vscode": "^1.5.0" },
    1.21 +    "categories": ["Languages"],
    1.22 +    "activationEvents": [
    1.23 +        "onLanguage:isabelle"
    1.24 +    ],
    1.25 +    "main": "./out/src/extension",
    1.26 +    "contributes": {
    1.27 +        "languages": [
    1.28 +            {
    1.29 +                "id": "isabelle",
    1.30 +                "aliases": ["Isabelle"],
    1.31 +                "extensions": [".thy"],
    1.32 +                "configuration": "./language-configuration.json"
    1.33 +            }
    1.34 +        ],
    1.35 +        "configuration": {
    1.36 +            "title": "Isabelle",
    1.37 +            "properties": {
    1.38 +                "isabelle.home": {
    1.39 +                    "type": "string",
    1.40 +                    "default": "",
    1.41 +                    "description": "ISABELLE_HOME directory"
    1.42 +                }
    1.43 +            }
    1.44 +        }
    1.45 +    },
    1.46 +    "scripts": {
    1.47 +        "vscode:prepublish": "tsc -p ./",
    1.48 +        "compile": "tsc -watch -p ./",
    1.49 +        "postinstall": "node ./node_modules/vscode/bin/install"
    1.50 +    },
    1.51 +    "devDependencies": {
    1.52 +        "typescript": "^2.0.3",
    1.53 +        "vscode": "^1.0.0",
    1.54 +        "mocha": "^2.3.3",
    1.55 +        "@types/node": "^6.0.40",
    1.56 +        "@types/mocha": "^2.2.32"
    1.57 +    },
    1.58 +    "dependencies": {
    1.59 +        "vscode-languageclient": "^2.6.3"
    1.60 +    }
    1.61 +}
    1.62 \ No newline at end of file