| Fri, 08 Dec 2023 13:36:47 +0100 | wenzelm | more operations; | file | diff | annotate |
| Wed, 06 Dec 2023 13:16:34 +0100 | wenzelm | more accurate treatment of term variables after instantiation of type variables; | file | diff | annotate |
| Mon, 04 Dec 2023 19:24:39 +0100 | wenzelm | more operations; | file | diff | annotate |
| Tue, 18 Apr 2023 21:47:40 +0200 | wenzelm | more operations: avoid intermediate list; | file | diff | annotate |
| Wed, 12 Apr 2023 10:42:23 +0200 | wenzelm | performance tuning: proper pointer_eq; | file | diff | annotate |
| Tue, 11 Apr 2023 21:42:45 +0200 | wenzelm | misc tuning: follow Table() more closely; | file | diff | annotate |
| Thu, 09 Sep 2021 22:12:05 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Thu, 09 Sep 2021 15:45:27 +0200 | wenzelm | clarified modules; | file | diff | annotate |