src/Pure/Admin/isabelle_devel.scala
changeset 68229 18c36ac0acaa
parent 68224 1f7308050349
child 69401 7a1b7b737c02
--- a/src/Pure/Admin/isabelle_devel.scala	Sun May 20 15:05:45 2018 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala	Sun May 20 15:24:53 2018 +0200
@@ -33,6 +33,8 @@
             List(HTML.link(RELEASE_SNAPSHOT, HTML.text("release snapshot"))) :::
             HTML.text(" (for all platforms)"),
 
+            HTML.text("Cronjob ") ::: List(HTML.link(CRONJOB_LOG, HTML.text("log file"))),
+
             HTML.text("Isabelle ") :::
             List(HTML.link(BUILD_STATUS + "/index.html", HTML.text("build status"))) :::
             HTML.text(" information"),
@@ -42,9 +44,7 @@
             HTML.text(" information (e.g. for ") :::
             List(HTML.link("https://sqlitebrowser.org",
               List(HTML.code(HTML.text("sqlitebrowser"))))) :::
-            HTML.text(")"),
-
-            HTML.text("Cronjob ") ::: List(HTML.link(CRONJOB_LOG, HTML.text("log file")))))))
+            HTML.text(")")))))
   }