summaryrefslogtreecommitdiffstats
path: root/site/posts
AgeCommit message (Expand)Author
2020-02-19Use the correct font for interfaces in the titlesThomas Letan
2020-02-19Rework the Makefiles for a cleaner handling of generated scriptsThomas Letan
2020-02-19Do not use raw HTML for the titles of Coq postsThomas Letan
2020-02-19Various improvement in the content generation processThomas Letan
2020-02-19Initiate a literate programming approach for the Makefile rulesThomas Letan
2020-02-18Generate the ToC with soupault rather than org-mode in Thanks.orgThomas Letan
2020-02-18Fix coding style in Strongly-Specified Functions part 2Thomas Letan
2020-02-18Do not extract Coq terms in Strongly-Specified Functions part 2Thomas Letan
2020-02-18First publication of a page listing FOSS used to build this websiteThomas Letan
2020-02-17Do not generate the news index automatically anymoreThomas Letan
2020-02-17Render inline math at build time using KaTeXThomas Letan
2020-02-16Adopt a literate programming approach for the configurationThomas Letan
2020-02-16Add a revision table to the “Rewrite in Coq” articleThomas Letan
2020-02-16Automatically generate a revision table from git historyThomas Letan
2020-02-14Fix spelling errorThomas Letan
2020-02-14Rework the introduction of the strongly-specified functions serieThomas Letan
2020-02-14Provide an index page for write-ups with more valueThomas Letan
2020-02-05Rename org postsThomas Letan
2020-02-05Add a minimal navigation bar for the websiteThomas Letan
2020-02-05Small changes in MiniHTTPServer.vThomas Letan
2020-02-05Various theme tweakingThomas Letan
2020-02-04Publish a new articleThomas Letan
2020-02-04Change the date formatThomas Letan
2020-02-04Rework StronglySpecifiedFunctionsProgram.vThomas Letan
2020-02-04Try to avoid long lines in StronglySpecifiedFunctions.vThomas Letan
2020-02-04Various fixes related to absolute URLsThomas Letan
2020-02-04Initial commit with previous content and a minimal themeThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-29 19:29:00 +0000