| Thu, 14 Oct 1999 15:04:36 +0200 | wenzelm | pdf: generate thumbnails if ISABELLE_THUMBPDF set; | file | diff | annotate |
| Wed, 13 Oct 1999 19:43:52 +0200 | wenzelm | tuned usage; | file | diff | annotate |
| Sat, 09 Oct 1999 23:16:31 +0200 | wenzelm | check format; | file | diff | annotate |
| Fri, 08 Oct 1999 15:03:11 +0200 | wenzelm | prepare theory session document; | file | diff | annotate |