src/Tools/VSCode/extension/package.json
changeset 66240 1a04946c41d6
parent 66237 93eac3bdf3f9
child 66391 77a347cf3531
equal deleted inserted replaced
66239:b565a39627bb 66240:1a04946c41d6
     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.21.0",
    13     "version": "0.22.0",
    14     "publisher": "makarius",
    14     "publisher": "makarius",
    15     "license": "MIT",
    15     "license": "MIT",
    16     "repository": {
    16     "repository": {
    17         "url": "http://isabelle.in.tum.de/repos/isabelle"
    17         "url": "http://isabelle.in.tum.de/repos/isabelle"
    18     },
    18     },