[isabelle-dev] Quickcheck Examples

Makarius makarius at sketis.net
Fri Feb 24 20:18:31 CET 2012

On Fri, 24 Feb 2012, Lukas Bulwahn wrote:

> Maybe we could also get performance measurements for the new session?

See now 1258eab48270. I have also updated the IsaMakefile itself in 
2190af0ef263.  All this redundancy in the session management is well-known 
and waiting to be eliminated for many years.


More information about the isabelle-dev mailing list