| Tue, 29 Aug 2023 17:00:12 +0200 | wenzelm | clarified signature: prefer enum types; | file | diff | annotate |
| Sat, 31 Dec 2022 15:48:12 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Sat, 31 Dec 2022 15:45:53 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 31 Dec 2022 15:42:13 +0100 | wenzelm | tunes signature; | file | diff | annotate |
| Fri, 19 Aug 2022 16:19:59 +0200 | wenzelm | clarified Presentation.Nodes, with explicit Nodes.Session and Nodes.Theory; | file | diff | annotate |
| Sun, 14 Aug 2022 18:35:59 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Sun, 14 Aug 2022 12:18:06 +0200 | wenzelm | clarified theory_names with exported content; | file | diff | annotate |