[isabelle-dev] \nexists

[Lars Hupel]

> 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.

Cheers
Lars