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