| Mon, 27 Mar 2023 22:11:26 +0200 | wenzelm | added Set.size; | changeset | files |
| Mon, 27 Mar 2023 21:53:16 +0200 | wenzelm | performanc tuning: avoid exception overhead, potentially relevant for Sorts.class_less; | changeset | files |
| Mon, 27 Mar 2023 21:48:47 +0200 | wenzelm | performance tuning: prefer functor Set() over Table(); | changeset | files |