Wed, 30 Nov 2022 22:07:59 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 30 Nov 2022 21:53:55 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Wed, 30 Nov 2022 15:03:31 +0100 | wenzelm | clarified signature: prefer Scala functions instead of shell scripts; | file | diff | annotate |
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 |