isabelle: Changelog

wenzelm [Mon, 14 Oct 2019 20:22:37 +0200] rev 70865

clarified signature;

wenzelm [Mon, 14 Oct 2019 20:05:16 +0200] rev 70864

clarified signature;

wenzelm [Mon, 14 Oct 2019 19:58:38 +0200] rev 70863

clarified "isabelle update" options -- more like "isabelle dump";

wenzelm [Mon, 14 Oct 2019 19:37:12 +0200] rev 70862

clarified treatment of base logic image;

wenzelm [Mon, 14 Oct 2019 19:14:03 +0200] rev 70861

simplified options: always split;

wenzelm [Mon, 14 Oct 2019 18:51:12 +0200] rev 70860

proper guard -- avoid bad result;

wenzelm [Mon, 14 Oct 2019 17:19:08 +0200] rev 70859

split into standard partitions, for improved scalability;

wenzelm [Mon, 14 Oct 2019 13:21:53 +0200] rev 70858

clarified defaults;

wenzelm [Mon, 14 Oct 2019 13:17:33 +0200] rev 70857

tuned signature;

wenzelm [Mon, 14 Oct 2019 12:07:37 +0200] rev 70856

clarified signature: static Dump.Context vs. dynamic Dump.Session;

isabelle