| Thu, 12 Oct 2000 17:52:44 +0200 | wenzelm | tuned syms; | file | diff | annotate |
| Fri, 06 Oct 2000 14:19:48 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Sat, 19 Aug 2000 12:44:20 +0200 | wenzelm | tuned \isastyle; | file | diff | annotate |
| Mon, 14 Aug 2000 18:43:30 +0200 | wenzelm | some more refs; | file | diff | annotate |
| Thu, 29 Jun 2000 22:39:57 +0200 | wenzelm | tuned rail setup; | file | diff | annotate |
| Sun, 21 May 2000 14:33:46 +0200 | wenzelm | replaced {{ }} by { }; | file | diff | annotate |