| 2009-03-17 | Christian Urban | added hyperlinks for every file pointer | file | diff | annotate |
| 2009-03-12 | Christian Urban | simplified antiquotations | file | diff | annotate |
| 2009-03-11 | Christian Urban | partially adapted to new antiquotation infrastructure | file | diff | annotate |
| 2009-02-13 | Christian Urban | improved | file | diff | annotate |