src/Tools/VSCode/extension/package.json
changeset 64735 4ad6d21545bd
parent 64734 12558536d977
child 64736 07bf45283b92
equal deleted inserted replaced
64734:12558536d977 64735:4ad6d21545bd
    12     "icon": "isabelle.png",
    12     "icon": "isabelle.png",
    13     "version": "0.1.0",
    13     "version": "0.1.0",
    14     "publisher": "makarius",
    14     "publisher": "makarius",
    15     "license": "BSD-3-Clause",
    15     "license": "BSD-3-Clause",
    16     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    16     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    17     "engines": { "vscode": "^1.5.0" },
    17     "engines": { "vscode": "^1.7.0" },
    18     "categories": ["Languages"],
    18     "categories": ["Languages"],
    19     "activationEvents": [
    19     "activationEvents": [
    20         "onLanguage:isabelle"
    20         "onLanguage:isabelle"
    21     ],
    21     ],
    22     "main": "./out/src/extension",
    22     "main": "./out/src/extension",