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 |