[isabelle-dev] isabelle build

[Lawrence Paulson]

I understand about the parallelism, but what has cut back on the memory consumption?
Larry

On 7 Aug 2012, at 21:59, Makarius wrote:

> Most processes stay in the 1GB range, the formerly bulky JinjaThreads stabilizes at comformtable 2.5-3.5 GB.
> 
> We have to find new ways to waste memory :-)
> 
> 
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev