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-...@in.tum.de > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
