[isabelle-dev] \nexists

Lars Hupel hupel at in.tum.de
Mon Jul 18 10:39:36 CEST 2016

> Also the detailed parallel runtime parameters that are emitted every
> 0.5s during a session running: number of active threads, pending futures
> etc.

How can I extract this information from within Isabelle/Scala? How would
this information be presented?

>> - What about sessions that grow in size over time?
> That is indeed important, although we have just ignored it historically.

Right. But how would we take it into account? What registers as a spike
in build time for a session could either be a performance regression in
Isabelle or growing material.


More information about the isabelle-dev mailing list