Skip to content

fix: preserve paragraphs in docstring boxes in TeX output (#918) - #919

Merged
david-christiansen merged 4 commits into
leanprover:mainfrom
medovina:docstringbox-paragraphs
Jul 30, 2026
Merged

fix: preserve paragraphs in docstring boxes in TeX output (#918)#919
david-christiansen merged 4 commits into
leanprover:mainfrom
medovina:docstringbox-paragraphs

chore: revert several files committed by mistake

3cbc3ac
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
SubVerso version consistency
succeeded Jul 30, 2026 in 7s