isabelle: Changelog

wenzelm [Wed, 21 Aug 2019 17:32:44 +0200] rev 70601

more scalable: avoid huge intermediate XML elems;

wenzelm [Wed, 21 Aug 2019 15:19:31 +0200] rev 70600

more scalable buffer: produce compact chunks on the fly, avoid too many small particles that might congest heap management;

wenzelm [Tue, 20 Aug 2019 22:01:37 +0200] rev 70599

NEWS;

wenzelm [Tue, 20 Aug 2019 20:23:21 +0200] rev 70598

merged

wenzelm [Tue, 20 Aug 2019 19:56:31 +0200] rev 70597

export thm_deps;

wenzelm [Tue, 20 Aug 2019 19:49:49 +0200] rev 70596

proper theory context;

wenzelm [Tue, 20 Aug 2019 18:39:33 +0200] rev 70595

clarified thm_id vs. thm_node/thm: retain theory_name; support for thm_deps: expand unnamed nodes;

wenzelm [Tue, 20 Aug 2019 18:01:57 +0200] rev 70594

clarified signature;

wenzelm [Tue, 20 Aug 2019 15:24:07 +0200] rev 70593

tuned;

wenzelm [Tue, 20 Aug 2019 15:12:06 +0200] rev 70592

unused (see 095dadc62bb5);

isabelle