| Sun, 12 Jul 1998 11:49:17 +0200 | wenzelm | isatool expandshort; | changeset | files |
| Fri, 10 Jul 1998 15:24:22 +0200 | wenzelm | the distribution now includes Isabelle icons: see | changeset | files |
| Fri, 10 Jul 1998 15:19:10 +0200 | wenzelm | added xpm icons; | changeset | files |