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 |