| 2005-04-26 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | file | diff | annotate |
| 2004-06-21 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| 2002-04-03 | oheimb | bugfix concerning claset(), added limited support for ALLGOALS + fast_tac etc. | file | diff | annotate |
| 2001-11-08 | wenzelm | got rid of obsolete input filtering; | 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 |
| 1999-01-12 | wenzelm | configure AUTO_BASH, AUTO_PERL; | file | diff | annotate |
| 1997-12-31 | wenzelm | removed -i option; | file | diff | annotate |
| 1997-12-29 | wenzelm | feed isabelle session; | file | diff | annotate |