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

[Makarius]

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.


 	Makarius