| Fri, 24 Jun 2005 03:16:52 +0200 | kleing | made su[bp]/isu[bp] behave the same as their bsu[bp]..esu[bp] counterparts, | file | diff | annotate |
| Tue, 24 May 2005 14:28:59 +0200 | haftmann | ML_idf antiquotation | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| 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 |