author | wenzelm |
Sat, 14 Jan 2017 20:22:15 +0100 | |
changeset 64889 | 56b52fc25c95 |
parent 64888 | eb019ab30bdc |
child 64890 | d8ccbd5305bf |
--- 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