""" + title + """

# HG changeset patch # User wenzelm # Date 1617296826 -7200 # Node ID cf1a1e92bf347da4805253faf91a5139b13f4327 # Parent c337c798f64c50f2c4a6de1a3251c55499c58193 more standard header, with utf-8 encoding; diff -r c337c798f64c -r cf1a1e92bf34 src/Pure/Thy/presentation.scala --- a/src/Pure/Thy/presentation.scala Thu Apr 01 19:01:19 2021 +0200 +++ b/src/Pure/Thy/presentation.scala Thu Apr 01 19:07:06 2021 +0200 @@ -369,13 +369,10 @@ browser_info + Path.explode("isabelle.gif")) val title = "The " + XML.text(Isabelle_System.isabelle_name()) + " Library" File.write(browser_info + Path.explode("index.html"), -""" - - - + HTML.header + +""" - + """ + HTML.head_meta + """ """ + title + """ @@ -451,8 +448,7 @@ - -""") +""" + HTML.footer) } }