Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Sat, 14 Jan 2017 20:22:15 +0100
changeset 64889 56b52fc25c95
parent 64888 eb019ab30bdc
child 64890 d8ccbd5305bf
tuned message;
src/Tools/VSCode/src/symbols.scala file | annotate | diff | comparison | revisions 
--- 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
isabelle