summaryrefslogtreecommitdiffstats
path: root/site
AgeCommit message (Expand)Author
2020-02-20Make an heavy use of Makefile variablesThomas Letan
2020-02-20Make cleopatra extensibleThomas Letan
2020-02-19Always use variables for colors in main.sassThomas Letan
2020-02-19Name the toolchain and provide some context about its seriesThomas Letan
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-19Add a section in write-up index for the meta contentsThomas 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-18Add an improvable favicon to the websiteThomas 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-18Add an alt attribute to the header imageThomas Letan
2020-02-18First publication of a page listing FOSS used to build this websiteThomas Letan
2020-02-17Add more short newsThomas Letan
2020-02-17Do not generate the news index automatically anymoreThomas Letan
2020-02-17Add a minor styling for inline mathsThomas Letan
2020-02-17Render inline math at build time using KaTeXThomas Letan
2020-02-17Remove ugly border around my avatarThomas 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-16Add a dedicated icon for GitHub linksThomas Letan
2020-02-15Mark external links with a dedicated iconThomas Letan
2020-02-15Add missing fonts and rename the pluginThomas Letan
2020-02-15Use a light themeThomas Letan
2020-02-15Add a new section for news and announcementsThomas Letan
2020-02-15Make the website 3rd-party free and improve loading performanceThomas Letan
2020-02-15Self hosting of Fira Sans and various small fixesThomas 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-05Some more minor tweaksThomas 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-04Tweak the CSSThomas 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-05-06 15:44:18 +0000