testboard: Changelog

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

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

wenzelm [Sat, 02 Nov 2019 10:56:53 +0100] rev 71187

clarified signature;

wenzelm [Sat, 02 Nov 2019 10:43:11 +0100] rev 71186

tuned;

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

Inverse function theorem + lemmas

wenzelm [Fri, 01 Nov 2019 19:40:55 +0100] rev 71184

updated to polyml-5.8.1-20191101 test version;

wenzelm [Fri, 01 Nov 2019 18:43:37 +0100] rev 71183

merged

wenzelm [Fri, 01 Nov 2019 18:41:52 +0100] rev 71182

more operations;

wenzelm [Fri, 01 Nov 2019 18:19:32 +0100] rev 71181

proper export of unnamed proof boxes for unnamed toplevel declarations, e.g. rulify/defn rules in theory IFOL and HOL;

wenzelm [Fri, 01 Nov 2019 18:08:46 +0100] rev 71180

clarified signature (again);

wenzelm [Fri, 01 Nov 2019 17:53:27 +0100] rev 71179

clarified signature;

testboard