| Wed, 01 Jan 2025 22:06:27 +0100 | wenzelm | revert changeset 2f98e3c4592c: avoid conflict with low-level \<^latex> markup; | file | diff | annotate |
| Sat, 28 Dec 2024 15:43:30 +0100 | wenzelm | more LaTeX markup; | file | diff | annotate |
| Wed, 18 Dec 2024 13:49:55 +0100 | wenzelm | clarified LaTeX presentation: more specific keywords; | file | diff | annotate |
| Tue, 10 Dec 2024 16:37:09 +0100 | wenzelm | more LaTeX markup for printed entities; | file | diff | annotate |
| Mon, 06 Dec 2021 15:34:54 +0100 | wenzelm | discontinued old-style {* verbatim *} tokens; | file | diff | annotate |
| Wed, 24 Nov 2021 21:04:39 +0100 | wenzelm | more explicit type Latex.Tags; | file | diff | annotate |
| Thu, 20 May 2021 18:16:13 +0200 | wenzelm | support for index entries; | file | diff | annotate |