explore older history;
authorwenzelm
Sun May 14 15:16:38 2017 +0200 (2017-05-14)
changeset 6582189c1f40656e5
parent 65820 a5d4958d0901
child 65822 17b8528c2f53
explore older history;
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Sun May 14 15:13:56 2017 +0200
     1.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun May 14 15:16:38 2017 +0200
     1.3 @@ -156,8 +156,8 @@
     1.4          }
     1.5  
     1.6          pick_days(options.int("build_log_history") max history) orElse
     1.7 -        pick_days(100) orElse
     1.8 -        pick_days(1000)
     1.9 +        pick_days(200) orElse
    1.10 +        pick_days(2000)
    1.11        })
    1.12      }
    1.13    }