| 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 |
| Thu, 14 Dec 2017 14:34:56 +0100 | wenzelm | proper exception; | changeset | files |