| Sun, 31 Dec 2023 19:24:37 +0100 | wenzelm | minor performance tuning: proper Same.operation; | file | diff | annotate |
| Fri, 08 Dec 2023 19:00:46 +0100 | wenzelm | minor performance tuning: more careful treatment of empty environment; | file | diff | annotate |
| Fri, 08 Dec 2023 11:46:42 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 07 Dec 2023 15:56:54 +0100 | wenzelm | misc tuning and clarification; | file | diff | annotate |
| Tue, 18 Apr 2023 12:23:37 +0200 | wenzelm | backout 4a174bea55e2; | file | diff | annotate |
| Tue, 28 Mar 2023 19:40:34 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 28 Mar 2023 17:59:54 +0200 | wenzelm | prefer Sortset.T for shyps; | file | diff | annotate |
| Mon, 25 Oct 2021 11:41:03 +0200 | wenzelm | clarified signature -- avoid clones; | file | diff | annotate |
| Sat, 04 Sep 2021 21:25:08 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 05 Aug 2016 22:15:30 +0200 | wenzelm | more tight filtering; | file | diff | annotate |
| Fri, 05 Aug 2016 20:43:40 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 05 Aug 2016 20:45:58 +0200 | wenzelm | tuned -- maxidx unused; | file | diff | annotate |
| Fri, 05 Aug 2016 20:26:13 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 08 Nov 2014 17:39:01 +0100 | wenzelm | clarified name of Type.unified, to emphasize its connection to the "unify" family; | file | diff | annotate |
| Sat, 08 Nov 2014 15:45:00 +0100 | wenzelm | tuned; | file | diff | annotate |