| 2001-10-20 | wenzelm | removed -v option (handled by isabelle process); | file | diff | annotate |
| 2001-09-27 | wenzelm | -v option; | file | diff | annotate |
| 2000-11-30 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| 2000-11-22 | wenzelm | tuned; | file | diff | annotate |
| 2000-09-01 | wenzelm | GPLed; | file | diff | annotate |
| 2000-04-01 | wenzelm | tuned -c option; | file | diff | annotate |
| 2000-02-21 | wenzelm | remove *.out; | file | diff | annotate |
| 2000-02-09 | wenzelm | option -c; | file | diff | annotate |
| 2000-02-08 | wenzelm | added -c option (beware!); | file | diff | annotate |
| 2000-02-08 | wenzelm | rename -p to -P; | file | diff | annotate |
| 2000-01-30 | wenzelm | rm -f *.aux; | file | diff | annotate |
| 1999-10-14 | wenzelm | pdf: generate thumbnails if ISABELLE_THUMBPDF set; | file | diff | annotate |
| 1999-10-13 | wenzelm | tuned usage; | file | diff | annotate |
| 1999-10-09 | wenzelm | check format; | file | diff | annotate |
| 1999-10-08 | wenzelm | prepare theory session document; | file | diff | annotate |