| Fri, 29 Oct 1999 19:24:20 +0200 | wenzelm | workaround bug (feature?) in bibtex; | file | diff | annotate |
| Thu, 28 Oct 1999 19:57:34 +0200 | wenzelm | improved presentation; | file | diff | annotate |
| Sat, 09 Oct 1999 23:17:47 +0200 | wenzelm | bib; | file | diff | annotate |