testboard: Changelog

wenzelm [Wed, 06 Mar 2019 13:17:17 +0100] rev 70051

afford redundant whitespace for improved readability;

wenzelm [Tue, 05 Mar 2019 16:46:42 +0100] rev 70050

tuned signature;

wenzelm [Tue, 05 Mar 2019 19:33:40 +0100] rev 70049

recover original order;

wenzelm [Tue, 05 Mar 2019 18:44:02 +0100] rev 70048

tuned;

wenzelm [Tue, 05 Mar 2019 16:40:12 +0100] rev 70047

misc tuning and modernization;

wenzelm [Tue, 05 Mar 2019 14:45:27 +0100] rev 70046

merged

wenzelm [Tue, 05 Mar 2019 13:31:33 +0100] rev 70045

clarified signature;

wenzelm [Tue, 05 Mar 2019 13:11:01 +0100] rev 70044

clarified signature: more general types;

wenzelm [Tue, 05 Mar 2019 11:52:20 +0100] rev 70043

afford redundant whitespace for improved readability;

haftmann [Tue, 05 Mar 2019 07:00:21 +0000] rev 70042

avoid context-sensitive simp rules whose context-free form (image_comp) is not simp by default

testboard