path: root/site/cleopatra
AgeCommit message (Expand)Author
2022-08-13Some minor CSS tweakThomas Letan
2022-08-12Propose to send an email in every pageThomas 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-07Add an avatar to greet readersThomas Letan
2022-08-07Add a new post about rank-n types in OCamlThomas 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-29Put the margin note on the left and center the textThomas 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-28Use the built-in plugin to insert the “Table of Contents” titleThomas Letan
2021-03-282021 Spring redesignThomas 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-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 `'Thomas Letan
2020-12-12Color tweakingThomas Letan
2020-12-12Use Spectral RegularThomas Letan
2020-12-11Link to Coq dependencies’ documentationThomas Letan
2020-12-11Kiss goodbye to the blue linksThomas Letan
2020-12-10Fix the generation of coqffi-tutorial.tar.gzThomas Letan
2020-12-10Add a Series on coqffi, and the first literate program of this blogThomas Letan
2020-12-08Tweak the theme to increase its book vibeThomas Letan
2020-11-24Remove a redundant </head> tag in HTML templateThomas Letan
2020-11-24Rework header to make it more mobile friendlyThomas Letan
2020-10-23Update to soupault.2.0.0Thomas Letan
2020-10-09Fix Coq source scrollingThomas Letan
2020-10-09Variablify the margin of a pageThomas Letan
2020-10-08Use Linux LibertineThomas Letan
2020-09-23Small CSS tweaksThomas Letan
2020-09-03Fix a mistake in the footerThomas Letan
2020-09-02Knitting is a thing nowThomas Letan
2020-08-30Introducing the Opinions pageThomas Letan
2020-08-29Start the documentation of the theme build processThomas Letan
2020-08-28Minor theme tweakingsThomas Letan
2020-08-27Additional tweaks to the designThomas Letan
2020-08-27Simplify the themeThomas Letan
2020-07-14Remove outdated TODO noteThomas Letan
2020-07-14Fix size of code fontThomas Letan
2020-07-14Fix sass issueThomas Letan
2020-07-14Identify the creation and last update date from the revisions tableThomas Letan
2020-07-12Display the full history of a file in revisions tablesThomas Letan