| Sun, 13 Apr 1997 19:10:27 +0200 | wenzelm | fixencoding - fix references to isabelle font encoding; | changeset | files |
| Sat, 12 Apr 1997 20:02:06 +0200 | wenzelm | tuned comments; | changeset | files |
| Sat, 12 Apr 1997 20:01:38 +0200 | wenzelm | misc improvement; | changeset | files |