| Mon, 26 Dec 2022 17:36:56 +0100 | wenzelm | tuned signature: avoid name confusion; | changeset | files |
| Mon, 26 Dec 2022 16:57:07 +0100 | wenzelm | more bibtex errors; | changeset | files |
| Mon, 26 Dec 2022 16:44:13 +0100 | wenzelm | clarified signature: internalize errors (but: the parser rarely fails); | changeset | files |