| Wed, 13 Apr 2005 18:34:22 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
| Fri, 01 Oct 2004 11:54:15 +0200 | paulson | patch to "display" | file | diff | annotate |
| Thu, 30 Sep 2004 07:14:34 +0200 | kleing | display pdf as well as dvi | file | diff | annotate |