Mon, 03 Apr 2023 21:13:46 +0200 wenzelm clarified signature: more uniform Table() vs. Set();
Sun, 02 Apr 2023 12:34:13 +0200 wenzelm merged
Sat, 01 Apr 2023 21:33:54 +0200 wenzelm clarified modules;
Sat, 01 Apr 2023 21:25:24 +0200 wenzelm clarified signature;
Sat, 01 Apr 2023 21:12:44 +0200 wenzelm more compact data;
Sat, 01 Apr 2023 19:15:38 +0200 wenzelm minor performance tuning;
Sat, 01 Apr 2023 16:54:43 +0200 wenzelm tuned signature;
Sat, 01 Apr 2023 15:01:35 +0200 wenzelm more uniform treatment of properties (but < 0 should not occur here);
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 tip