summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
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
2020-12-13Spectral is the new main font of this websiteThomas Letan
2020-12-13Benefit from latest cleopatra to get .gitignore content sortedThomas Letan
2020-12-12Color tweakingThomas Letan
2020-12-12Use Spectral RegularThomas Letan
2020-12-11coq-coqffi.1.0.0~beta2 has been releasedThomas Letan
2020-12-11Update gitignoreThomas Letan
2020-12-11Link to Coq dependencies’ documentationThomas Letan
2020-12-11Kiss goodbye to the blue linksThomas Letan
2020-12-10Spellchecking and revisions table for the coqffi articlesThomas 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-08Advertise the version of compcert used to build this articleThomas Letan
2020-12-08Update to CompCert 3.8Thomas Letan
2020-12-08Announce coq-coqffi.1.0.0~beta1Thomas Letan
2020-12-08Tweak the theme to increase its book vibeThomas Letan
2020-11-24Announce the acceptance of our coqffi paperThomas Letan
2020-11-24Remove a redundant </head> tag in HTML templateThomas Letan
2020-11-24Update gitignore fileThomas Letan
2020-11-24Rework header to make it more mobile friendlyThomas Letan
2020-10-30Reword the titles of the “Strongly-Specified Functions”’s articlesThomas Letan
2020-10-23Update to soupault.2.0.0Thomas Letan
2020-10-10Create a summary page for the strongly-specified functions seriesThomas Letan
2020-10-09Fix Coq source scrollingThomas Letan
2020-10-09Variablify the margin of a pageThomas Letan
2020-10-08coqffi has been published!Thomas Letan
2020-10-08Use Linux LibertineThomas Letan
2020-09-23Small CSS tweaksThomas Letan
2020-09-23Add a permalink to my Coq postsThomas 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-28Heavy reworking of the Ltac seriesThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-18 10:37:11 +0000