| Thu, 14 Dec 2017 21:31:54 +0100 | wenzelm | clarified file name; | changeset | files |
| Thu, 14 Dec 2017 21:15:04 +0100 | wenzelm | purge log files -- avoid old errors; | changeset | files |
| Thu, 14 Dec 2017 21:09:41 +0100 | wenzelm | expose bibtex errors; | changeset | files |