# HG changeset patch
# User wenzelm
# Date 1477063483 -7200
# Node ID 24e676390259e0837c3f1dec17cb1a3e17784536
# Parent  4fb8560df827650655894472a8890c05122a1754
more ambitious default;

diff -r 4fb8560df827 -r 24e676390259 src/Pure/Admin/build_history.scala
--- a/src/Pure/Admin/build_history.scala	Fri Oct 21 16:46:02 2016 +0200
+++ b/src/Pure/Admin/build_history.scala	Fri Oct 21 17:24:43 2016 +0200
@@ -97,7 +97,7 @@
 
   private val default_rev = "tip"
   private val default_multicore = (1, 1)
-  private val default_heap = 1000
+  private val default_heap = 1500
   private val default_isabelle_identifier = "build_history"
 
   def build_history(