| Mon, 31 Oct 2022 15:50:13 +0100 | wenzelm | support for Dagstuhl LIPIcs style with demo document; | changeset | files |
| Mon, 31 Oct 2022 11:04:54 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 29 Oct 2022 21:36:33 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 28 Oct 2022 16:25:44 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Oct 2022 16:14:14 +0200 | wenzelm | tuned signature; | changeset | files |
| Fri, 28 Oct 2022 15:59:06 +0200 | wenzelm | clarified modules; | changeset | files |
| Fri, 28 Oct 2022 15:46:20 +0200 | wenzelm | tuned; | changeset | files |