Skip to content

html backend: persistent katex macros#1391

Merged
jonludlam merged 3 commits intoocaml:masterfrom
dlesbre:dlesbre/katex-options
Nov 21, 2025
Merged

html backend: persistent katex macros#1391
jonludlam merged 3 commits intoocaml:masterfrom
dlesbre:dlesbre/katex-options

Commits

Commits on Nov 18, 2025