summaryrefslogtreecommitdiffstats
path: root/site/index.org
AgeCommit message (Expand)Author
2023-05-13The great rewrite of 2023Thomas Letan
2023-05-02List the latest blogpost about neovim config tricksThomas Letan
2023-04-28Advertize Spatial Shell’s call for testers in index.orgThomas Letan
2023-04-27Spatial Shell Call for TestersThomas Letan
2023-01-26Stacked Git patch theory new blogpostThomas Letan
2023-01-16Second article on Stacked GitThomas Letan
2022-11-19Monthly retrospective: October and November 2022Thomas Letan
2022-10-23Website reorgThomas Letan
2022-08-13Add a toc in the indexThomas Letan
2022-08-12Propose to send an email in every pageThomas Letan
2021-09-04Refine one more time the widths of the layout componentsThomas Letan
2021-03-282021 Spring redesignThomas Letan
2020-12-10Spellchecking and revisions table for the coqffi articlesThomas Letan
2020-12-10Add a Series on coqffi, and the first literate program of this blogThomas Letan
2020-10-10Create a summary page for the strongly-specified functions seriesThomas Letan
2020-09-23Add a permalink to my Coq postsThomas Letan
2020-08-30Introducing the Opinions pageThomas Letan
2020-08-28Heavy reworking of the Ltac seriesThomas Letan
2020-08-27Additional tweaks to the designThomas Letan
2020-08-27Simplify the themeThomas Letan
2020-07-31“For Fun and Benefit” was not an idiomatic expressionThomas Letan
2020-07-26Add the latest write-up on Ltac to the indexThomas Letan
2020-07-12New article on Algebraic DatatypesThomas Letan
2020-07-12Various fixes here and thereThomas Letan
2020-04-02Refactor the build process to use cleopatra the SecondThomas Letan
2020-03-20Do not use the sr.ht mailing list anymoreThomas Letan
2020-03-20Remove the “About” page and use the “Write-up” page as default indexThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 04:43:45 +0000