isabelle: Changelog

wenzelm [Sun, 06 Oct 2019 15:28:59 +0200] rev 70789

clarified signature;

wenzelm [Sun, 06 Oct 2019 14:17:58 +0200] rev 70788

tuned signature;

wenzelm [Sat, 05 Oct 2019 15:34:54 +0200] rev 70787

clarified options -- more scalable;

wenzelm [Fri, 04 Oct 2019 16:34:14 +0200] rev 70786

obsolete;

wenzelm [Fri, 04 Oct 2019 16:25:45 +0200] rev 70785

proper replacement for (map_types (K dummyT));

wenzelm [Fri, 04 Oct 2019 15:30:52 +0200] rev 70784

Term_XML.Encode/Decode.term uses Const "typargs";

wenzelm [Wed, 02 Oct 2019 22:01:04 +0200] rev 70783

prefer atomic edits -- potentially more robust;

wenzelm [Wed, 02 Oct 2019 21:27:51 +0200] rev 70782

clarified signature -- potentially more robust;

wenzelm [Wed, 02 Oct 2019 20:58:09 +0200] rev 70781

just one dump_checkpoint Main -- potentially more robust;

wenzelm [Wed, 02 Oct 2019 14:45:37 +0200] rev 70780

more robust: avoid update/interrupt of long-running print_consolidation;

isabelle