[isabelle-dev] Collecting statistics in Isabelle's kernel

Makarius makarius at sketis.net
Wed Feb 19 21:41:23 CET 2014

On Wed, 19 Feb 2014, Makarius wrote:

> So if you write your data at the start of Session.finish, it should 
> normally work.  (The shutdown phase is a bit delicate.)

This needs some more care with parallel proofs: after the initial 
Execution.shutdown() most of that should be finished, so you can try 
writing files after that.


More information about the isabelle-dev mailing list