# HG changeset patch # User wenzelm # Date 1617296479 -7200 # Node ID c337c798f64c50f2c4a6de1a3251c55499c58193 # Parent c72fd8f1fcebaf86006caa552590b94dd8bdfbce clarified HTML template (see also 04cb7e02ca38): avoid odd patching of sources; diff -r c72fd8f1fceb -r c337c798f64c lib/html/library_index_content.template --- a/lib/html/library_index_content.template Thu Apr 01 07:35:03 2021 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,54 +0,0 @@ - - - - - diff -r c72fd8f1fceb -r c337c798f64c lib/html/library_index_footer.template --- a/lib/html/library_index_footer.template Thu Apr 01 07:35:03 2021 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,2 +0,0 @@ - - diff -r c72fd8f1fceb -r c337c798f64c lib/html/library_index_header.template --- a/lib/html/library_index_header.template Thu Apr 01 07:35:03 2021 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,27 +0,0 @@ - - - - - - - The {ISABELLE} Library - - - -
- - - - - - -
[Isabelle] - - - - -
The {ISABELLE} Library
-
-
-
diff -r c72fd8f1fceb -r c337c798f64c src/Pure/Admin/build_release.scala --- a/src/Pure/Admin/build_release.scala Thu Apr 01 07:35:03 2021 +0200 +++ b/src/Pure/Admin/build_release.scala Thu Apr 01 19:01:19 2021 +0200 @@ -59,9 +59,6 @@ { val dir = release.isabelle_dir - File.change(dir + Path.explode("lib/html/library_index_header.template"), - _.replace("{ISABELLE}", release.dist_name)) - File.change(dir + Path.explode("README"), _.replace("some repository version of Isabelle", release.dist_version)) } diff -r c72fd8f1fceb -r c337c798f64c src/Pure/PIDE/xml.scala --- a/src/Pure/PIDE/xml.scala Thu Apr 01 07:35:03 2021 +0200 +++ b/src/Pure/PIDE/xml.scala Thu Apr 01 19:01:19 2021 +0200 @@ -190,6 +190,7 @@ def string_of_tree(tree: XML.Tree): String = string_of_body(List(tree)) + def text(s: String): String = string_of_tree(XML.Text(s)) /** cache **/ diff -r c72fd8f1fceb -r c337c798f64c src/Pure/Thy/presentation.scala --- a/src/Pure/Thy/presentation.scala Thu Apr 01 07:35:03 2021 +0200 +++ b/src/Pure/Thy/presentation.scala Thu Apr 01 19:01:19 2021 +0200 @@ -367,10 +367,92 @@ Isabelle_System.make_directory(browser_info) Isabelle_System.copy_file(Path.explode("~~/lib/logo/isabelle.gif"), browser_info + Path.explode("isabelle.gif")) + val title = "The " + XML.text(Isabelle_System.isabelle_name()) + " Library" File.write(browser_info + Path.explode("index.html"), - File.read(Path.explode("~~/lib/html/library_index_header.template")) + - File.read(Path.explode("~~/lib/html/library_index_content.template")) + - File.read(Path.explode("~~/lib/html/library_index_footer.template"))) +""" + + + + + + """ + title + """ + + + +
+ + + + + + +
[Isabelle] + + + + +
""" + title + """
+
+
+
+ + + + + + + +""") } }