src/Tools/VSCode/extension/package.json
changeset 66096 6187612e83c1
parent 66095 78a1aedd1761
child 66102 3e2145cf3077
     1.1 --- a/src/Tools/VSCode/extension/package.json	Fri Jun 16 16:00:44 2017 +0200
     1.2 +++ b/src/Tools/VSCode/extension/package.json	Fri Jun 16 16:21:17 2017 +0200
     1.3 @@ -33,6 +33,11 @@
     1.4      "contributes": {
     1.5          "commands": [
     1.6              {
     1.7 +                "command": "isabelle.state",
     1.8 +                "title": "Show Proof State",
     1.9 +                "category": "Isabelle"
    1.10 +            },
    1.11 +            {
    1.12                  "command": "isabelle.preview",
    1.13                  "title": "Open Preview",
    1.14                  "category": "Isabelle",