# HG changeset patch
# User wenzelm
# Date 1498768802 -7200
# Node ID b1e5079f1d49fb46496fc7b3c13b140b54f75f1d
# Parent  9fe05edaa351be9ab50648bd6436627079b69962
tuned;

diff -r 9fe05edaa351 -r b1e5079f1d49 src/Tools/VSCode/extension/package.json
--- a/src/Tools/VSCode/extension/package.json	Thu Jun 29 22:34:10 2017 +0200
+++ b/src/Tools/VSCode/extension/package.json	Thu Jun 29 22:40:02 2017 +0200
@@ -34,7 +34,7 @@
         "commands": [
             {
                 "command": "isabelle.state",
-                "title": "Show Proof State",
+                "title": "Show State",
                 "category": "Isabelle"
             },
             {