isabelle: Changelog

wenzelm [Sat, 27 Jul 2019 12:06:38 +0200] rev 70421

tuned;

wenzelm [Fri, 26 Jul 2019 16:36:11 +0200] rev 70420

tuned -- reorder sections;

wenzelm [Fri, 26 Jul 2019 15:29:10 +0200] rev 70419

tuned;

wenzelm [Fri, 26 Jul 2019 15:21:02 +0200] rev 70418

proper argument type (amending 42fbb6abed5a);

wenzelm [Fri, 26 Jul 2019 14:43:56 +0200] rev 70417

tuned signature;

wenzelm [Fri, 26 Jul 2019 14:27:46 +0200] rev 70416

tuned;

wenzelm [Fri, 26 Jul 2019 09:59:11 +0200] rev 70415

finalize proofs earlier to reduce memory requirement;

wenzelm [Fri, 26 Jul 2019 09:50:23 +0200] rev 70414

proper proof_serial;

wenzelm [Fri, 26 Jul 2019 09:50:12 +0200] rev 70413

more explicit type proof_serial;

wenzelm [Fri, 26 Jul 2019 09:35:02 +0200] rev 70412

defer rew_proof on unnamed PThm node as open_proof operation: significant performance improvement; misc tuning and clarification;

isabelle