Thu, 09 Nov 2000 21:38:00 +0100 | wenzelm | fixed \title: convert "_" to "-"; | file | diff | annotate |
Mon, 30 Oct 2000 18:22:20 +0100 | wenzelm | tuned tex template; | file | diff | annotate |
Mon, 23 Oct 2000 22:09:52 +0200 | wenzelm | make sure default document works; | file | diff | annotate |
Mon, 18 Sep 2000 17:56:44 +0200 | wenzelm | best-style made default; | file | diff | annotate |
Fri, 01 Sep 2000 17:50:36 +0200 | wenzelm | GPLed; | file | diff | annotate |
Sat, 19 Aug 2000 12:42:52 +0200 | wenzelm | %\urlstyle{rm} | file | diff | annotate |
Tue, 04 Jul 2000 01:10:53 +0200 | wenzelm | fixed usage; | file | diff | annotate |