isabelle: Changelog

wenzelm [Mon, 07 Oct 2019 13:58:18 +0200] rev 70797

clarified Load_State;

wenzelm [Mon, 07 Oct 2019 11:35:43 +0200] rev 70796

discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;

wenzelm [Mon, 07 Oct 2019 10:51:20 +0200] rev 70795

count nodes uniformly: avoid overloaded session;

wenzelm [Mon, 07 Oct 2019 10:44:59 +0200] rev 70794

clarified signature;

nipkow [Mon, 07 Oct 2019 14:31:46 +0200] rev 70793

simplified proof

wenzelm [Sun, 06 Oct 2019 19:33:58 +0200] rev 70792

tuned signature;

wenzelm [Sun, 06 Oct 2019 16:25:20 +0200] rev 70791

clarified signature: more options;

wenzelm [Sun, 06 Oct 2019 16:22:43 +0200] rev 70790

clarified signature: read full session requirements;

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;

isabelle