| Sun, 20 Nov 2022 23:37:54 +0100 | wenzelm | clarified signature: more explicit types; | file | diff | annotate |
| Sat, 05 Nov 2022 13:08:37 +0100 | wenzelm | document_build engine for "lipics", with options and document_files; | file | diff | annotate |
| Mon, 31 Oct 2022 15:50:13 +0100 | wenzelm | support for Dagstuhl LIPIcs style with demo document; | file | diff | annotate |