| Tue, 21 Jul 1998 16:43:38 +0200 | wenzelm | fixed CVSROOT; | changeset | files |
| Tue, 21 Jul 1998 16:41:12 +0200 | wenzelm | fixed isabelle logo; | changeset | files |
| Tue, 21 Jul 1998 16:38:25 +0200 | wenzelm | library includes Isabelle version information; | changeset | files |
| Tue, 21 Jul 1998 12:12:52 +0200 | wenzelm | isatool expandshort; | changeset | files |
| Tue, 21 Jul 1998 08:54:09 +0200 | wenzelm | fixed isabelle logo; | changeset | files |
| Tue, 21 Jul 1998 08:53:24 +0200 | wenzelm | SYNC; | changeset | files |
| Mon, 20 Jul 1998 19:06:39 +0200 | wenzelm | added pdfsetup and isabelle logo; | changeset | files |