| Fri, 07 Mar 1997 09:49:28 +0100 | wenzelm | renamed, improved, augmented version of isabelle fonts; | changeset | files |
| Fri, 07 Mar 1997 09:43:31 +0100 | wenzelm | tuned comment; | changeset | files |
| Fri, 07 Mar 1997 09:43:05 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 07 Mar 1997 09:42:26 +0100 | wenzelm | pass xterm mode by default; | changeset | files |