Tue, 18 May 2021 19:59:22 +0200 | wenzelm | tuned --- more robust; | changeset | files |
Tue, 18 May 2021 19:49:06 +0200 | wenzelm | discontinued somewhat pointless "fixbookmarks": default output works sufficiently well; | changeset | files |
Tue, 18 May 2021 17:19:19 +0200 | wenzelm | more uniform bibtex error, without using perl (see 4710dd5093a3); | changeset | files |