testboard: Changelog

wenzelm [Tue, 16 Apr 2019 19:42:56 +0200] rev 70351

clarified goto_file (again): treat bad entry as plain file to open empty buffer instead of error (amending a8142ac5e4b6);

wenzelm [Sun, 14 Apr 2019 18:13:46 +0200] rev 70350

afford more examples;

wenzelm [Sun, 14 Apr 2019 17:37:05 +0200] rev 70349

obsolete -- this is quite fast;

paulson <lp15@cam.ac.uk> [Sun, 14 Apr 2019 13:32:26 +0100] rev 70348

Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)

paulson [Sun, 14 Apr 2019 12:00:17 +0100] rev 70347

merged

wenzelm [Sat, 13 Apr 2019 22:06:40 +0200] rev 70346

tuned signature;

wenzelm [Sat, 13 Apr 2019 21:51:24 +0200] rev 70345

prefer ctyp operations;

wenzelm [Sat, 13 Apr 2019 21:43:41 +0200] rev 70344

meson: more cterm operations;

wenzelm [Sat, 13 Apr 2019 19:58:28 +0200] rev 70343

more ctyp operations;

wenzelm [Sat, 13 Apr 2019 19:27:12 +0200] rev 70342

tuned;

testboard