# HG changeset patch
# User wenzelm
# Date 1646233692 -3600
# Node ID fae759dcf55fa3e53faf2f2d9c3361bb9a12dcfa
# Parent  98fbc9accb51cb3565632c3d7dc74370c5cd1a62
tuned message;

diff -r 98fbc9accb51 -r fae759dcf55f src/Tools/VSCode/extension/src/extension.ts
--- 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()
         })