summaryrefslogtreecommitdiffstats
path: root/coq.mk
AgeCommit message (Collapse)Author
2023-05-13The great rewrite of 2023Thomas Letan
2022-09-10Refine the theme to be more readableThomas Letan
2022-08-13Goodbye, cleopatraThomas Letan
As it is, it is just too slow. Plus, the literate program that was my toolchain is actually not documented, so it makes no sense. I’m sad, though.