| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| coqffi-beta3 | [WIP] Update coqffi series for coqffi.1.0.0~beta3 | Thomas Letan | 5 weeks | |
| master | Tweak margins | Thomas Letan | 39 hours | |
| Age | Commit message | Author | ||
| 39 hours | Tweak marginsHEADmaster | Thomas Letan | ||
| 2020-12-29 | Let people use the font of their liking | Thomas Letan | ||
| 2020-12-20 | Provide some insight on how literate programming projects are built | Thomas Letan | ||
| 2020-12-16 | Mention coqffi.dev | Thomas Letan | ||
| 2020-12-16 | FreeSpec has been published to Opam | Thomas Letan | ||
| 2020-12-14 | Fine-grained dependency for literate programming build process | Thomas Letan | ||
| 2020-12-14 | Do not output when tangling coqffi tutorial | Thomas Letan | ||
| 2020-12-14 | Avoid to display too much noweb variables | Thomas Letan | ||
| 2020-12-14 | Massive performance improvement for `history.sh' | Thomas Letan | ||
| 2020-12-13 | Advertise the use of cleopatra | Thomas Letan | ||
| [...] | ||||
| Clone | ||||
| https://code.soap.coffee/writing/lthms.git | ||||