src/Tools/VSCode/extension/package.json
changeset 64696 e991a4fab0dc
parent 64695 135313951082
child 64734 12558536d977
equal deleted inserted replaced
64695:135313951082 64696:e991a4fab0dc
     9         "functional programming",
     9         "functional programming",
    10         "document preparation"
    10         "document preparation"
    11         ],
    11         ],
    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.5.0" },
    18     "categories": ["Languages"],
    18     "categories": ["Languages"],
    19     "activationEvents": [
    19     "activationEvents": [