aboutsummaryrefslogtreecommitdiff
path: root/lib/stitch.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-15Add done view + visualMarc Coquand1-2/+33
2024-05-15Update state managementMarc Coquand1-0/+32
2024-05-13RefactorMarc Coquand1-69/+0