| 2001-10-20 | wenzelm | dvips -q; | file | diff | annotate |
| 2000-11-30 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| 2000-11-22 | wenzelm | tuned; | file | diff | annotate |
| 2000-09-01 | wenzelm | GPLed; | file | diff | annotate |
| 2000-03-24 | wenzelm | tuned; | file | diff | annotate |
| 2000-03-24 | wenzelm | improved dump of styles; | file | diff | annotate |
| 2000-03-24 | wenzelm | -o sty; | file | diff | annotate |
| 1999-10-14 | wenzelm | support thumbpdf (via 'png' output format); | file | diff | annotate |
| 1999-10-13 | wenzelm | tuned usage; | file | diff | annotate |
| 1999-10-09 | wenzelm | support bibtex; | file | diff | annotate |
| 1999-10-08 | wenzelm | pass RC; | file | diff | annotate |
| 1999-10-07 | wenzelm | tuned dirname; | file | diff | annotate |
| 1999-10-07 | wenzelm | Isabelle wrapper for LaTeX (and friends); | file | diff | annotate |