# HG changeset patch
# User wenzelm
# Date 1484421735 -3600
# Node ID 56b52fc25c9540a835464192154e53bdc386e1b6
# Parent  eb019ab30bdca5895af259f802d63d28362d19dd
tuned message;

diff -r eb019ab30bdc -r 56b52fc25c95 src/Tools/VSCode/src/symbols.scala
--- a/src/Tools/VSCode/src/symbols.scala	Fri Jan 13 17:45:51 2017 +0100
+++ b/src/Tools/VSCode/src/symbols.scala	Sat Jan 14 20:22:15 2017 +0100
@@ -37,7 +37,7 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool = Isabelle_Tool("vscode_symbols",
-    "generate configuration for VSCode editor extension Prettify Symbols Mode", args =>
+    "generate configuration for VSCode Prettify Symbols Mode", args =>
   {
     val getopts = Getopts("""
 Usage: isabelle vscode_symbols