isabelle: Changelog

paulson [Sat, 02 Nov 2019 14:31:48 +0000] rev 71000

merged

paulson <lp15@cam.ac.uk> [Sat, 02 Nov 2019 14:31:34 +0000] rev 70999

Inverse function theorem + lemmas

wenzelm [Sat, 02 Nov 2019 13:37:15 +0100] rev 70998

back to more elementary Buffer.T -- less intermediate garbage;

wenzelm [Sat, 02 Nov 2019 13:25:58 +0100] rev 70997

unused;

wenzelm [Sat, 02 Nov 2019 13:20:37 +0100] rev 70996

unused;

wenzelm [Sat, 02 Nov 2019 12:39:44 +0100] rev 70995

more direct output of XML material -- bypass Buffer.T;

wenzelm [Sat, 02 Nov 2019 12:33:38 +0100] rev 70994

clarified signature;

wenzelm [Sat, 02 Nov 2019 12:32:38 +0100] rev 70993

tuned;

wenzelm [Sat, 02 Nov 2019 12:11:00 +0100] rev 70992

more direct output of XML material -- bypass Buffer.T;

wenzelm [Sat, 02 Nov 2019 12:02:27 +0100] rev 70991

more scalable protocol_message: use XML.body directly (Output.output hook is not required);

isabelle