summaryrefslogtreecommitdiffstats
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 `history.sh'Thomas Letan
2020-12-13Advertise the use of cleopatraThomas Letan
[...]
 
Clone
https://code.soap.coffee/writing/lthms.git