| Fri, 26 Aug 2022 21:28:26 +0200 | wenzelm | support 'chapter_definition' with description for presentation purposes; | file | diff | annotate |
| Sat, 14 Nov 2020 12:55:05 +0100 | wenzelm | official support for document theories from other sessions; | file | diff | annotate |
| Wed, 11 Sep 2019 16:06:10 +0200 | wenzelm | disallow overlapping session directories; | file | diff | annotate |
| Sat, 07 Sep 2019 12:11:42 +0200 | wenzelm | support for explicit session directories; | file | diff | annotate |
| Sat, 26 May 2018 19:40:02 +0200 | wenzelm | support 'export_files' in session ROOT; | file | diff | annotate |
| Tue, 15 May 2018 13:57:39 +0200 | wenzelm | tuned headers; | file | diff | annotate |
| Sat, 16 Dec 2017 16:46:01 +0100 | wenzelm | PIDE markup for session ROOT files; | file | diff | annotate |