| Tue, 29 Aug 2000 11:52:47 +0200 | wenzelm | improved isabellepar env; | file | diff | annotate |
| Mon, 28 Aug 2000 13:52:38 +0200 | wenzelm | proper setup of iman.sty/extra.sty/ttbox.sty; | file | diff | annotate |
| Tue, 22 Aug 2000 11:24:44 +0200 | paulson | removed redundant commands | file | diff | annotate |