src/Tools/VSCode/extension/package.json
changeset 65148 d232832b943c
parent 65146 69ea3f1715be
child 65163 d596a070f039
equal deleted inserted replaced
65147:a1aaa18091b0 65148:d232832b943c
     8         "mathematical logic",
     8         "mathematical logic",
     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.6.0",
    13     "version": "0.7.0",
    14     "publisher": "makarius",
    14     "publisher": "makarius",
    15     "license": "MIT",
    15     "license": "MIT",
    16     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    16     "repository": { "url": "http://isabelle.in.tum.de/repos/isabelle" },
    17     "engines": { "vscode": "^1.8.0" },
    17     "engines": { "vscode": "^1.8.0" },
    18     "categories": ["Languages"],
    18     "categories": ["Languages"],