changeset 64889 | 56b52fc25c95 |
parent 64872 | 9c194386db8d |
--- 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