BranchCommit messageAuthorAge
coqffi-beta3Prepare coqffi.1.0.0~beta3 releaseThomas Letan6 weeks
masterRelease of coqffi 1.0.0~beta4Thomas Letan8 days
AgeCommit messageAuthor
8 daysRelease of coqffi 1.0.0~beta4HEADmasterThomas Letan
2021-01-30Add some news about January, 2021Thomas Letan
2021-01-24Prepare coqffi.1.0.0~beta3 releasecoqffi-beta3Thomas Letan
2021-01-24Ignore _opamThomas Letan
2021-01-24No more syntax highlightingThomas Letan
2021-01-16Tweak marginsThomas Letan
2020-12-29Let people use the font of their likingThomas Letan
2020-12-20Provide some insight on how literate programming projects are builtThomas Letan
2020-12-16Mention coqffi.devThomas Letan
2020-12-16FreeSpec has been published to OpamThomas Letan