[isabelle-dev] isabelle build
lp15 at cam.ac.uk
Wed Aug 8 10:00:57 CEST 2012
I understand about the parallelism, but what has cut back on the memory consumption?
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 :-)
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev