| Tue, 23 Oct 2001 19:12:58 +0200 | wenzelm | unset DISPLAY (again); | file | diff | annotate |
| Mon, 22 Oct 2001 11:01:30 +0200 | wenzelm | keep DISPLAY; | file | diff | annotate |
| Sat, 20 Oct 2001 20:14:56 +0200 | wenzelm | -o pdf: produce *both* eps and pdf; | file | diff | annotate |