# HG changeset patch
# User wenzelm
# Date 1475584364 -7200
# Node ID 51bf28aa18a5966bce449f2be5b2515796c60e8c
# Parent  2989c1f2593a692193e7c4e951ebb466c6cdadb9
more ambitious default as in former isatest;

diff -r 2989c1f2593a -r 51bf28aa18a5 src/Pure/Tools/build_history.scala
--- a/src/Pure/Tools/build_history.scala	Tue Oct 04 14:26:05 2016 +0200
+++ b/src/Pure/Tools/build_history.scala	Tue Oct 04 14:32:44 2016 +0200
@@ -17,7 +17,7 @@
 
   private val default_rev = "tip"
   private val default_threads = 1
-  private val default_heap = 500
+  private val default_heap = 1000
   private val default_isabelle_identifier = "build_history"
 
   def build_history(