author | wenzelm |
Wed, 02 Mar 2022 16:08:12 +0100 | |
changeset 75182 | fae759dcf55f |
parent 75181 | 98fbc9accb51 |
child 75183 | b0efc5576118 |
--- a/src/Tools/VSCode/extension/src/extension.ts Wed Mar 02 16:06:37 2022 +0100 +++ b/src/Tools/VSCode/extension/src/extension.ts Wed Mar 02 16:08:12 2022 +0100 @@ -61,7 +61,7 @@ async (progress) => { progress.report({ - message: "Waiting for Isabelle server..." + message: "Waiting for Isabelle language server..." }) await language_client.onReady() })