| Fri, 29 Dec 2017 18:09:38 +0100 | wenzelm | proper bibtex entries; | file | diff | annotate |
| Thu, 09 Oct 2014 11:00:15 +0200 | wenzelm | proper @{cite} with bibtex entry (unchecked comment); | file | diff | annotate |
| Tue, 07 Oct 2014 23:29:43 +0200 | wenzelm | more bibtex entries; | file | diff | annotate |