| Thu, 06 May 2004 14:20:13 +0200 | wenzelm | improved block sup/sub; | file | diff | annotate |
| Fri, 09 Jan 2004 01:28:24 +0100 | kleing | set isasep to {} by default | file | diff | annotate |
| Thu, 08 Jan 2004 08:14:00 +0100 | kleing | separate thm lists in latex output by \isasep | file | diff | annotate |
| Mon, 29 Dec 2003 06:07:44 +0100 | kleing | spanning super and sub scripts \<^bsub> .. \<^esub> and \<^bsup> .. \<^esup> | file | diff | annotate |