| Mon, 17 May 2021 15:01:37 +0200 | wenzelm | tuned --- clarified corner cases; | changeset | files |
| Mon, 17 May 2021 14:54:03 +0200 | wenzelm | more uniform use of Properties.Eq.unapply, with slightly changed semantics in boundary cases; | changeset | files |
| Mon, 17 May 2021 14:07:51 +0200 | wenzelm | clarified signature -- avoid odd warning about scala/bug#6675; | changeset | files |
| Mon, 17 May 2021 14:07:13 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 17 May 2021 13:48:20 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 17 May 2021 13:40:01 +0200 | wenzelm | clarified signature; | changeset | files |