--- a/src/Tools/VSCode/src/language_server.scala Wed Mar 31 22:10:56 2021 +0200
+++ b/src/Tools/VSCode/src/language_server.scala Wed Mar 31 22:58:17 2021 +0200
@@ -308,7 +308,7 @@
try {
Isabelle_Process(session, options, base_info.sessions_structure, Sessions.store(options),
modes = modes, logic = base_info.session).await_startup()
- reply_ok("Welcome to Isabelle/" + base_info.session + " (" + Distribution.version + ")")
+ reply_ok("Welcome to Isabelle/" + base_info.session + Isabelle_System.isabelle_heading())
}
catch { case ERROR(msg) => reply_error(msg) }
}