| Thu, 24 Jan 2002 22:41:44 +0100 | wenzelm | copy_styles replaces overly conservative update_styles; | file | diff | annotate |
| Sat, 20 Oct 2001 20:15:44 +0200 | wenzelm | dvips -q; | file | diff | annotate |
| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Wed, 22 Nov 2000 21:41:39 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 01 Sep 2000 17:50:36 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Fri, 24 Mar 2000 14:40:51 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 24 Mar 2000 13:47:36 +0100 | wenzelm | improved dump of styles; | file | diff | annotate |