| Fri, 29 Dec 2017 17:40:57 +0100 | wenzelm | formal check of @{cite} bibtex entries -- only in batch-mode session builds; | changeset | files |
| Thu, 28 Dec 2017 23:39:02 +0100 | wenzelm | clarified check, notably for bibtex theory (amending 5f082b1fa9fa); | changeset | files |
| Thu, 28 Dec 2017 23:17:35 +0100 | wenzelm | NEWS; | changeset | files |