| Sat, 05 Nov 2022 13:08:37 +0100 | wenzelm | document_build engine for "lipics", with options and document_files; | file | diff | annotate |
| Fri, 04 Nov 2022 19:57:21 +0100 | wenzelm | proper chapter (amending 809cd1195795); | file | diff | annotate |
| Thu, 03 Nov 2022 21:09:20 +0100 | wenzelm | clarified directory layout: templates for user sessions; | file | diff | annotate |