| 2008-10-04 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
| 2005-03-07 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| 1999-10-08 | wenzelm | tuned; | file | diff | annotate |
| 1999-02-08 | wenzelm | isatool logo; | file | diff | annotate |
| 1998-08-27 | wenzelm | href eps versions; | file | diff | annotate |
| 1998-08-04 | wenzelm | added icons; | file | diff | annotate |
| 1997-11-10 | wenzelm | fixed spelling; | file | diff | annotate |
| 1997-10-14 | wenzelm | tuned; | file | diff | annotate |
| 1997-10-07 | wenzelm | tuned; | file | diff | annotate |
| 1997-10-07 | wenzelm | The Isabelle Logo; | file | diff | annotate |