| Thu, 16 Mar 2000 00:33:46 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 15 Mar 2000 18:50:14 +0100 | wenzelm | renamed isabelle env; | file | diff | annotate |
| Thu, 10 Feb 2000 20:54:40 +0100 | wenzelm | \isabellesimplestyle; | file | diff | annotate |
| Fri, 22 Oct 1999 20:23:40 +0200 | wenzelm | achieve proper italic correction; | file | diff | annotate |
| Thu, 21 Oct 1999 18:47:33 +0200 | wenzelm | \isakeyword: fixed italic correction; | file | diff | annotate |
| Fri, 08 Oct 1999 17:07:10 +0200 | wenzelm | \isakeyword: italic correction; | file | diff | annotate |
| Fri, 08 Oct 1999 15:04:32 +0200 | wenzelm | improved special chars; | file | diff | annotate |