Mon, 17 May 2021 20:37:42 +0200 | wenzelm | redundant: tmp_dir is purged anyway; | changeset | files |
Mon, 17 May 2021 20:32:52 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
Mon, 17 May 2021 16:15:25 +0200 | wenzelm | clarified modules; | changeset | files |
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 |