| Tue, 25 Jan 2005 14:49:16 +0100 | nipkow | enclosed in (*<*) (*>*) | file | diff | annotate |
| Thu, 06 Jan 2005 05:15:26 +0100 | kleing | suggestions by Jeremy Siek | file | diff | annotate |
| Fri, 03 Dec 2004 07:23:19 +0100 | kleing | more sugar | file | diff | annotate |
| Tue, 30 Nov 2004 13:29:36 +0100 | schirmer | even more mboxes | file | diff | annotate |
| Tue, 30 Nov 2004 13:20:15 +0100 | schirmer | Rule: put \mbox around premises/conclusion to avoid problems with | file | diff | annotate |
| Mon, 29 Nov 2004 18:49:35 +0100 | nipkow | *** empty log message *** | file | diff | annotate |