| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Create a summary page for the strongly-specified functions series | Thomas Letan | 11 days | |
| Age | Commit message | Author | ||
| 11 days | Create a summary page for the strongly-specified functions seriesHEADmaster | Thomas Letan | ||
| 11 days | Fix Coq source scrolling | Thomas Letan | ||
| 11 days | Variablify the margin of a page | Thomas Letan | ||
| 12 days | coqffi has been published! | Thomas Letan | ||
| 12 days | Use Linux Libertine | Thomas Letan | ||
| 2020-09-23 | Small CSS tweaks | Thomas Letan | ||
| 2020-09-23 | Add a permalink to my Coq posts | Thomas Letan | ||
| 2020-09-03 | Fix a mistake in the footer | Thomas Letan | ||
| 2020-09-02 | Knitting is a thing now | Thomas Letan | ||
| 2020-08-30 | Introducing the Opinions page | Thomas Letan | ||
| [...] | ||||
| Clone | ||||
| https://code.soap.coffee/writing/lthms.git | ||||