BranchCommit messageAuthorAge
mainFix stacked git summaryThomas Letan6 months
AgeCommit messageAuthor
2022-01-16Fix stacked git summaryHEADmainThomas Letan
2022-01-16Stacked Git is coolThomas Letan
2022-01-16Use sans-serif fontThomas Letan
2021-09-04Refine one more time the widths of the layout componentsThomas Letan
2021-08-29Increase the size of the nav containersThomas Letan
2021-08-29Add a margin note at the beginning of the Monad transformers articleThomas Letan
2021-08-29Put the margin note on the left and center the textThomas Letan
2021-08-20Fix a Coq warningThomas Letan
2021-08-20Advertise the release of coqffi beta 6 and 7Thomas Letan
2021-08-20Improve the graph of dependencies of the Echo serverThomas Letan