| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| coqffi-beta3 | Prepare coqffi.1.0.0~beta3 release | Thomas Letan | 6 weeks | |
| master | Release of coqffi 1.0.0~beta4 | Thomas Letan | 8 days | |
| Age | Commit message | Author | ||
| 8 days | Release of coqffi 1.0.0~beta4HEADmaster | Thomas Letan | ||
| 2021-01-30 | Add some news about January, 2021 | Thomas Letan | ||
| 2021-01-24 | Prepare coqffi.1.0.0~beta3 releasecoqffi-beta3 | Thomas Letan | ||
| 2021-01-24 | Ignore _opam | Thomas Letan | ||
| 2021-01-24 | No more syntax highlighting | Thomas Letan | ||
| 2021-01-16 | Tweak margins | 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 | ||
| [...] | ||||
| Clone | ||||
| https://code.soap.coffee/writing/lthms.git | ||||