# HG changeset patch
# User wenzelm
# Date 1526822693 -7200
# Node ID 18c36ac0acaa403b116873635ee079e7721e9fab
# Parent  326f4bcc5abc6c0393e6635c69c23f25da39f659
tuned output;

diff -r 326f4bcc5abc -r 18c36ac0acaa src/Pure/Admin/isabelle_devel.scala
--- 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(")")))))
   }