testboard: Changelog

wenzelm [Thu, 11 Apr 2019 15:44:06 +0200] rev 70307

added document antiquotation option "cartouche";

wenzelm [Thu, 11 Apr 2019 14:22:52 +0200] rev 70306

allow faster navigation of directory hierarchy (reverting 69465c3e3560);

paulson [Thu, 11 Apr 2019 15:26:19 +0100] rev 70305

merged

wenzelm [Thu, 11 Apr 2019 12:41:50 +0200] rev 70304

more robust test: avoid spurious Interrupt (stack overflow?) due to List.fun_lub_parametric;

wenzelm [Thu, 11 Apr 2019 12:38:22 +0200] rev 70303

prefer local options;

wenzelm [Thu, 11 Apr 2019 12:18:03 +0200] rev 70302

tuned signature; tuned message;

wenzelm [Thu, 11 Apr 2019 12:05:36 +0200] rev 70301

clarified order;

paulson <lp15@cam.ac.uk> [Thu, 11 Apr 2019 15:26:04 +0100] rev 70300

type instantiations for poly_mapping as a real_normed_vector

paulson [Wed, 10 Apr 2019 23:12:27 +0100] rev 70299

merged

wenzelm [Wed, 10 Apr 2019 23:45:20 +0200] rev 70298

tuned layout;

testboard