| 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 |