| Wed, 19 May 2021 11:18:38 +0200 | wenzelm | more robust: allow \printindex within the document; | changeset | files |
| Wed, 19 May 2021 11:15:13 +0200 | wenzelm | clarified bash scripts, with public interfaces for user-defined Document_Build.Engine; | changeset | files |
| Wed, 19 May 2021 10:41:28 +0200 | wenzelm | tuned signature; | changeset | files |