| Fri, 14 Apr 2000 16:12:46 +0200 | wenzelm | \newenvironment{isabellequote}; | file | diff | annotate |
| Fri, 14 Apr 2000 15:55:40 +0200 | wenzelm | global \isa@parindent, \isa@parskip; | file | diff | annotate |
| Mon, 03 Apr 2000 14:02:40 +0200 | wenzelm | isapar, isamarkuptext, isamarkuptxt turned into environments; | file | diff | annotate |
| Fri, 17 Mar 2000 22:53:19 +0100 | wenzelm | parskip 0pt; | file | diff | annotate |
| Fri, 17 Mar 2000 17:10:37 +0100 | wenzelm | \isamarkupheader: \section; | file | diff | annotate |
| 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 |
| 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 |