| Thu, 14 Dec 2017 21:40:43 +0100 | wenzelm | minor performance tuning, notably for Library.fold_string etc.; | changeset | files |
| 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 |
| Thu, 14 Dec 2017 14:34:56 +0100 | wenzelm | proper exception; | changeset | files |
| Thu, 14 Dec 2017 14:28:27 +0100 | wenzelm | proper \isakeeptag (amending 13b5c3ff1954); | changeset | files |
| Thu, 14 Dec 2017 14:27:37 +0100 | wenzelm | tuned; | changeset | files |