Wed, 09 Feb 2000 12:28:44 +0100 | wenzelm | option -c; | file | diff | annotate |
Tue, 08 Feb 2000 20:17:41 +0100 | wenzelm | added -c option (beware!); | file | diff | annotate |
Tue, 08 Feb 2000 20:14:58 +0100 | wenzelm | rename -p to -P; | file | diff | annotate |
Sun, 30 Jan 2000 13:24:41 +0100 | wenzelm | rm -f *.aux; | file | diff | annotate |
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 |