testboard: Changelog

wenzelm [Sat, 30 Jan 2021 21:43:13 +0100] rev 73456

merged

wenzelm [Sat, 30 Jan 2021 20:47:00 +0100] rev 73455

more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within mixfix declarations (due to extra markup);

wenzelm [Sat, 30 Jan 2021 19:36:42 +0100] rev 73454

tuned signature: more types;

wenzelm [Sat, 30 Jan 2021 19:33:14 +0100] rev 73453

clarified signature: proper order;

wenzelm [Sat, 30 Jan 2021 19:29:22 +0100] rev 73452

clarified signature: more explicit types;

wenzelm [Sat, 30 Jan 2021 18:58:56 +0100] rev 73451

tuned;

wenzelm [Sat, 30 Jan 2021 18:34:37 +0100] rev 73450

clarified signature: no symbol markup within XML attributes;

wenzelm [Sat, 30 Jan 2021 17:15:14 +0100] rev 73449

clarified signature;

wenzelm [Sat, 30 Jan 2021 17:06:13 +0100] rev 73448

tuned signature;

wenzelm [Sat, 30 Jan 2021 13:46:40 +0100] rev 73447

bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;

testboard