BranchCommit messageAuthorAge
coqffi-beta3[WIP] Update coqffi series for coqffi.1.0.0~beta3Thomas Letan5 weeks
masterTweak marginsThomas Letan39 hours
AgeCommit messageAuthor
39 hoursTweak marginsHEADmasterThomas 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
2020-12-14Fine-grained dependency for literate programming build processThomas Letan
2020-12-14Do not output when tangling coqffi tutorialThomas Letan
2020-12-14Avoid to display too much noweb variablesThomas Letan
2020-12-14Massive performance improvement for `'Thomas Letan
2020-12-13Advertise the use of cleopatraThomas Letan