summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2022-08-13Hide cleapatra series for nowThomas Letan
2022-08-13Fix the link in the coqffi tutorial by adding a new class of urlThomas Letan
2022-08-13Further tweaks in the toolchainThomas Letan
2022-08-13Some tweaks to the toolchainThomas Letan
2022-08-13Provide a script to capture output of commands into files in 'logs/'Thomas Letan
2022-08-13Use emacs --daemon to speed things upThomas Letan
2022-08-13Typo ):Thomas Letan
2022-08-13Add a toc in the indexThomas Letan
2022-08-13Goodbye, cleopatraThomas Letan
2022-08-13Some minor CSS tweakThomas Letan
2022-08-12Propose to send an email in every pageThomas Letan
2022-08-12Rework the article to be more straightforwardThomas Letan
2022-08-08More blackThomas Letan
2022-08-07Source moved from labs. to src.soap.coffeeThomas Letan
2022-08-07Bump soupault to 4.0.1Thomas Letan
2022-08-07Fix buggy margin notesThomas Letan
2022-08-07Add an avatar to greet readersThomas Letan
2022-08-07Add a new post about rank-n types in OCamlThomas Letan
2022-01-16Fix stacked git summaryThomas 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
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
2021-03-28Adapt the keyr stats to the redesignThomas Letan
2021-03-28Use the built-in plugin to insert the “Table of Contents” titleThomas Letan
2021-03-28Fix soupault websiteThomas Letan
2021-03-282021 Spring redesignThomas Letan
2021-02-24Release of coqffi 1.0.0~beta4Thomas Letan
2021-01-30Add some news about January, 2021Thomas Letan
2021-01-24Prepare coqffi.1.0.0~beta3 releaseThomas Letan
2021-01-24Ignore _opamThomas Letan
2021-01-24No more syntax highlightingThomas Letan
2021-01-16Tweak marginsThomas Letan
2020-12-29Let people use the font of their likingThomas Letan
2020-12-20Provide some insight on how literate programming projects are builtThomas Letan
2020-12-16Mention coqffi.devThomas Letan
2020-12-16FreeSpec has been published to OpamThomas Letan
2020-12-14Fine-grained dependency for literate programming build processThomas Letan
2020-12-14Do not output when tangling coqffi tutorialThomas Letan
2020-12-14Avoid to display too much noweb variablesThomas Letan
2020-12-14Massive performance improvement for `history.sh'Thomas Letan
2020-12-13Advertise the use of cleopatraThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-20 16:36:56 +0000