| Fri, 20 Apr 2007 10:09:32 +0200 | krauss | generate page labels | file | diff | annotate |
| Sat, 31 Dec 2005 13:03:55 +0100 | wenzelm | more robust phantomsection; | file | diff | annotate |
| Fri, 30 Dec 2005 16:56:54 +0100 | wenzelm | non-PDF: phantomsection; | file | diff | annotate |