| Wed, 16 Apr 1997 18:51:03 +0200 | wenzelm | fixed perl path (for sunbroys); | file | diff | annotate |
| Sun, 13 Apr 1997 19:16:25 +0200 | wenzelm | fixed file name; | file | diff | annotate |
| Sun, 13 Apr 1997 19:10:27 +0200 | wenzelm | fixencoding - fix references to isabelle font encoding; | file | diff | annotate |