| Wed, 21 Apr 1999 16:30:35 +0200 | wenzelm | added is_current; | changeset | files |
| Tue, 20 Apr 1999 15:23:43 +0200 | wenzelm | fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm; | changeset | files |
| Tue, 20 Apr 1999 15:20:27 +0200 | wenzelm | temporarily fake quiet_mode; | changeset | files |