| 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 |