| Tue, 29 Aug 2000 15:13:10 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 28 Aug 2000 09:32:51 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 21 Aug 2000 17:54:43 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 18 Aug 2000 10:34:08 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 04 Aug 2000 11:22:59 +0200 | wenzelm | targets for images, test, all; | file | diff | annotate |
| Wed, 02 Aug 2000 11:30:38 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 09 May 2000 16:05:45 +0200 | wenzelm | use proper version of pdfsetup.sty; | file | diff | annotate |
| Mon, 08 May 2000 10:53:13 +0200 | wenzelm | improved handling of Isabelle styles (less garbage); | file | diff | annotate |
| Thu, 20 Apr 2000 09:54:56 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 19 Apr 2000 13:40:42 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Wed, 19 Apr 2000 11:54:39 +0200 | nipkow | I wonder if that's all? | file | diff | annotate |