| Fri, 04 Oct 2024 13:29:33 +0200 | wenzelm | clarified syntax for opening bundles; | file | diff | annotate |
| Thu, 25 Mar 2021 08:52:15 +0000 | haftmann | dedicated session for combinatorial material | file | diff | annotate |
| Sun, 28 Feb 2021 20:13:07 +0000 | haftmann | dissolve theory with duplicated name from afp | file | diff | annotate |