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 |