# HG changeset patch
# User wenzelm
# Date 1507928180 -7200
# Node ID dd846a805fb1c1bc0ac41006a5818f7b9ba9d458
# Parent  2ca6f0275de734bd1023c4c0366ccb45caeb1d95
tuned whitespace;

diff -r 2ca6f0275de7 -r dd846a805fb1 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Oct 13 21:53:22 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Oct 13 22:56:20 2017 +0200
@@ -34,18 +34,18 @@
 
   private val build_release =
     Logger_Task("build_release", logger =>
-        {
-          Isabelle_Devel.make_index()
+      {
+        Isabelle_Devel.make_index()
 
-          val rev = Mercurial.repository(isabelle_repos).id()
-          val afp_rev = Mercurial.setup_repository(AFP.repos_source, afp_repos).id()
+        val rev = Mercurial.repository(isabelle_repos).id()
+        val afp_rev = Mercurial.setup_repository(AFP.repos_source, afp_repos).id()
 
-          File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date),
-            Build_Log.Identify.content(logger.start_date, Some(rev), Some(afp_rev)))
+        File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date),
+          Build_Log.Identify.content(logger.start_date, Some(rev), Some(afp_rev)))
 
-          Isabelle_Devel.release_snapshot(rev = rev, afp_rev = afp_rev,
-            parallel_jobs = 4, remote_mac = "macbroy31")
-        })
+        Isabelle_Devel.release_snapshot(rev = rev, afp_rev = afp_rev,
+          parallel_jobs = 4, remote_mac = "macbroy31")
+      })
 
 
   /* integrity test of build_history vs. build_history_base */