BranchCommit messageAuthorAge
mainRefine one more time the widths of the layout componentsThomas Letan3 weeks
AgeCommit messageAuthor
2021-09-04Refine one more time the widths of the layout componentsHEADmainThomas 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
2021-08-20The repository has movedThomas Letan
2021-08-20Use a darker color for linksThomas Letan
2021-08-20Update various dependencies used by this websiteThomas Letan