src/Pure/General/http.scala

--- a/src/Pure/General/http.scala	Wed Mar 31 22:10:56 2021 +0200
+++ b/src/Pure/General/http.scala	Wed Mar 31 22:58:17 2021 +0200
@@ -280,7 +280,7 @@
     Handler.get(root, arg =>
       if (arg.uri.toString == root) {
         val id = Isabelle_System.isabelle_id()
-        Some(Response.text("Welcome to Isabelle/" + id + ": " + Distribution.version))
+        Some(Response.text("Welcome to Isabelle/" + id + Isabelle_System.isabelle_heading()))
       }
       else None)