src/Pure/Admin/isabelle_devel.scala

--- a/src/Pure/Admin/isabelle_devel.scala	Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Admin/isabelle_devel.scala	Mon Mar 01 22:22:12 2021 +0100
@@ -20,7 +20,7 @@
 
   /* index */
 
-  def make_index()
+  def make_index(): Unit =
   {
     val redirect = "https://isabelle-dev.sketis.net/home/menu/view/20"
 
@@ -38,7 +38,7 @@
     options: Options,
     rev: String = "",
     afp_rev: String = "",
-    parallel_jobs: Int = 1)
+    parallel_jobs: Int = 1): Unit =
   {
     Isabelle_System.with_tmp_dir("isadist")(base_dir =>
       {
@@ -54,7 +54,7 @@
 
   /* maintain build_log database */
 
-  def build_log_database(options: Options, log_dirs: List[Path])
+  def build_log_database(options: Options, log_dirs: List[Path]): Unit =
   {
     val store = Build_Log.store(options)
     using(store.open_database())(db =>
@@ -68,7 +68,7 @@
 
   /* present build status */
 
-  def build_status(options: Options)
+  def build_status(options: Options): Unit =
   {
     Isabelle_System.update_directory(root + Path.explode(BUILD_STATUS),
       dir => Build_Status.build_status(options, target_dir = dir, ml_statistics = true))