aboutsummaryrefslogtreecommitdiff
path: root/lib/stitched_article.ml (unfollow)
Commit message (Collapse)AuthorFilesLines
2024-05-14Fix offsetMarc Coquand1-2/+35
2024-05-14Add nice headingsMarc Coquand1-0/+68