# HG changeset patch
# User wenzelm
# Date 1494767798 -7200
# Node ID 89c1f40656e5e364fc42b8ff0610c7baab89a666
# Parent  a5d4958d0901a9133f5b4eb1e5ba2d13bf46f12e
explore older history;

diff -r a5d4958d0901 -r 89c1f40656e5 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sun May 14 15:13:56 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sun May 14 15:16:38 2017 +0200
@@ -156,8 +156,8 @@
         }
 
         pick_days(options.int("build_log_history") max history) orElse
-        pick_days(100) orElse
-        pick_days(1000)
+        pick_days(200) orElse
+        pick_days(2000)
       })
     }
   }