diff -r 78a1aedd1761 -r 6187612e83c1 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Fri Jun 16 16:00:44 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Fri Jun 16 16:21:17 2017 +0200
@@ -33,6 +33,11 @@
     "contributes": {
         "commands": [
             {
+                "command": "isabelle.state",
+                "title": "Show Proof State",
+                "category": "Isabelle"
+            },
+            {
                 "command": "isabelle.preview",
                 "title": "Open Preview",
                 "category": "Isabelle",