| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Fix stacked git summary | Thomas Letan | 18 hours | |
| Age | Commit message | Author | ||
| 18 hours | Fix stacked git summaryHEADmain | Thomas Letan | ||
| 18 hours | Stacked Git is cool | Thomas Letan | ||
| 21 hours | Use sans-serif font | Thomas Letan | ||
| 2021-09-04 | Refine one more time the widths of the layout components | Thomas Letan | ||
| 2021-08-29 | Increase the size of the nav containers | Thomas Letan | ||
| 2021-08-29 | Add a margin note at the beginning of the Monad transformers article | Thomas Letan | ||
| 2021-08-29 | Put the margin note on the left and center the text | Thomas Letan | ||
| 2021-08-20 | Fix a Coq warning | Thomas Letan | ||
| 2021-08-20 | Advertise the release of coqffi beta 6 and 7 | Thomas Letan | ||
| 2021-08-20 | Improve the graph of dependencies of the Echo server | Thomas Letan | ||
| [...] | ||||
| Clone | ||||
| https://labs.soap.coffee/soap.coffee/lthms.git | ||||
| labs@labs.soap.coffee:soap.coffee/lthms.git | ||||