Thu, 16 Mar 2017 23:27:29 +0100 | wenzelm | prefer non-strict default; | changeset | files |
Thu, 16 Mar 2017 23:26:16 +0100 | wenzelm | clarified signature (again, see also 3ed43cfc8b14); | changeset | files |
Thu, 16 Mar 2017 21:22:01 +0100 | wenzelm | tuned signature; | changeset | files |