tuned whitespace;
authorwenzelm
Fri Oct 13 22:56:20 2017 +0200 (22 months ago)
changeset 66859dd846a805fb1
parent 66858 2ca6f0275de7
child 66860 54ae2cc05325
tuned whitespace;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Fri Oct 13 21:53:22 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Fri Oct 13 22:56:20 2017 +0200
     1.3 @@ -34,18 +34,18 @@
     1.4  
     1.5    private val build_release =
     1.6      Logger_Task("build_release", logger =>
     1.7 -        {
     1.8 -          Isabelle_Devel.make_index()
     1.9 +      {
    1.10 +        Isabelle_Devel.make_index()
    1.11  
    1.12 -          val rev = Mercurial.repository(isabelle_repos).id()
    1.13 -          val afp_rev = Mercurial.setup_repository(AFP.repos_source, afp_repos).id()
    1.14 +        val rev = Mercurial.repository(isabelle_repos).id()
    1.15 +        val afp_rev = Mercurial.setup_repository(AFP.repos_source, afp_repos).id()
    1.16  
    1.17 -          File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date),
    1.18 -            Build_Log.Identify.content(logger.start_date, Some(rev), Some(afp_rev)))
    1.19 +        File.write(logger.log_dir + Build_Log.log_filename("isabelle_identify", logger.start_date),
    1.20 +          Build_Log.Identify.content(logger.start_date, Some(rev), Some(afp_rev)))
    1.21  
    1.22 -          Isabelle_Devel.release_snapshot(rev = rev, afp_rev = afp_rev,
    1.23 -            parallel_jobs = 4, remote_mac = "macbroy31")
    1.24 -        })
    1.25 +        Isabelle_Devel.release_snapshot(rev = rev, afp_rev = afp_rev,
    1.26 +          parallel_jobs = 4, remote_mac = "macbroy31")
    1.27 +      })
    1.28  
    1.29  
    1.30    /* integrity test of build_history vs. build_history_base */