| Sun, 24 Dec 2017 12:48:43 +0100 | wenzelm | more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default); | changeset | files |
| Sat, 23 Dec 2017 23:07:26 +0100 | wenzelm | check bibtex database: errors and warnings; | changeset | files |
| Sat, 23 Dec 2017 19:02:11 +0100 | wenzelm | more symbols; | changeset | files |