Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Build/build_manager.scala
changeset 80320 b8ce1269e190
parent 80319 f83f402bc9a4
child 80334 1e5082785075 
--- 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; }"))
isabelle