| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Thu, 06 Aug 2020 17:39:57 +0200 | nipkow | tuned | file | diff | annotate |
| Tue, 07 Jan 2020 12:37:12 +0100 | nipkow | alternative deletion in Red-Black trees | file | diff | annotate |