Branch | Commit message | Author | Age | |
---|---|---|---|---|
main | Fix stacked git summary | Thomas Letan | 6 months | |
Age | Commit message | Author | ||
2022-01-16 | Fix stacked git summaryHEADmain | Thomas Letan | ||
2022-01-16 | Stacked Git is cool | Thomas Letan | ||
2022-01-16 | 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 |