| Sat, 27 Nov 2021 10:01:40 +0100 | desharna | added lemma mono_multp | changeset | files |
| Fri, 26 Nov 2021 11:14:10 +0100 | desharna | added Multiset.multp as predicate equivalent of Multiset.mult | changeset | files |
| Sat, 27 Nov 2021 17:02:04 +0100 | wenzelm | address problems with launch4j and jdk-17 (see also 41d009462d3c); | changeset | files |
| Sat, 27 Nov 2021 15:39:56 +0100 | wenzelm | more robust build on midrange hardware; | changeset | files |
| Sat, 27 Nov 2021 14:55:47 +0100 | wenzelm | clarified tests: omit somewhat pointless (unstable) results; | changeset | files |
| Sat, 27 Nov 2021 14:31:11 +0100 | wenzelm | proper fields for gnuplot (amending b614e3e4146a); | changeset | files |
| Sat, 27 Nov 2021 14:03:44 +0100 | wenzelm | tuned output; | changeset | files |