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 |
Thu, 07 Oct 1999 17:20:19 +0200 | wenzelm | removed verbatim markups; | file | diff | annotate |
Thu, 07 Oct 1999 12:25:50 +0200 | wenzelm | verbatim: no markup; | file | diff | annotate |
Wed, 06 Oct 1999 18:14:26 +0200 | wenzelm | tuned markup commands; | file | diff | annotate |
Wed, 06 Oct 1999 00:35:05 +0200 | wenzelm | accomodate markup commands; | file | diff | annotate |
Tue, 05 Oct 1999 14:11:34 +0200 | wenzelm | macros for Isabelle generated LaTeX output; | file | diff | annotate |