tuned index.html;
authorwenzelm
Wed, 11 Dec 2019 23:05:57 +0100
changeset 71484 18f4061fd817
parent 71483 5212ca49598a
child 71485 b4401dfd6544
tuned index.html;
src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Wed Dec 11 22:09:34 2019 +0100
+++ b/src/Pure/Admin/build_release.scala	Wed Dec 11 23:05:57 2019 +0100
@@ -699,17 +699,23 @@
           if (release.dist_dir + bundle_info.path).is_file
         } yield (bundle_info.name, bundle_info)
 
+      val isabelle_link =
+        HTML.link(Isabelle_Cronjob.isabelle_repos_source + "/rev/" + release.ident,
+          HTML.text("Isabelle/" + release.ident))
       val afp_link =
         HTML.link(AFP.repos_source + "/rev/" + afp_rev, HTML.text("AFP/" + afp_rev))
 
       HTML.write_document(dir, "index.html",
         List(HTML.title(release.dist_name)),
         List(
-          HTML.chapter(release.dist_name + " (" + release.ident + ")"),
+          HTML.section(release.dist_name + " (" + release.ident + ")"),
+          HTML.subsection("Platforms"),
           HTML.itemize(
             website_platform_bundles.map({ case (bundle, bundle_info) =>
-              List(HTML.link(bundle, HTML.text(bundle_info.platform_description))) }))) :::
-        (if (afp_rev == "") Nil else List(HTML.par(HTML.text("See also ") ::: List(afp_link)))))
+              List(HTML.link(bundle, HTML.text(bundle_info.platform_description))) })),
+          HTML.subsection("Repositories"),
+          HTML.itemize(
+            List(List(isabelle_link)) ::: (if (afp_rev == "") Nil else List(List(afp_link))))))
 
       for ((bundle, _) <- website_platform_bundles)
         File.copy(release.dist_dir + Path.explode(bundle), dir)