# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1718020559 -7200
# Node ID b8ce1269e1900d1d51c12f950b3566d8662d77bb
# Parent  f83f402bc9a463097a007b16ab6f7e8d088611a2
add title;

diff -r f83f402bc9a4 -r b8ce1269e190 src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Mon Jun 10 13:45:12 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Mon Jun 10 13:55:59 2024 +0200
@@ -1100,6 +1100,7 @@
       val logo = Bytes.read(Path.explode("$ISABELLE_HOME/lib/logo/isabelle_transparent-48.gif"))
       val head =
         List(
+          HTML.title("Isabelle Build Manager"),
           Web_App.More_HTML.icon("data:image/x-icon;base64," + logo.encode_base64),
           HTML.style_file("https://hawkz.github.io/gdcss/gd.css"),
           HTML.style("html { background-color: white; }"))