equal
deleted
inserted
replaced
35 |
35 |
36 |
36 |
37 /* Isabelle tool wrapper */ |
37 /* Isabelle tool wrapper */ |
38 |
38 |
39 val isabelle_tool = Isabelle_Tool("vscode_symbols", |
39 val isabelle_tool = Isabelle_Tool("vscode_symbols", |
40 "generate configuration for VSCode editor extension Prettify Symbols Mode", args => |
40 "generate configuration for VSCode Prettify Symbols Mode", args => |
41 { |
41 { |
42 val getopts = Getopts(""" |
42 val getopts = Getopts(""" |
43 Usage: isabelle vscode_symbols |
43 Usage: isabelle vscode_symbols |
44 |
44 |
45 Generate configuration for VSCode editor extension Prettify Symbols Mode. |
45 Generate configuration for VSCode editor extension Prettify Symbols Mode. |