summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)Author
2020-09-03Fix a mistake in the footerHEADmasterThomas 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
2020-08-27Add a page to display my keystrokes reportingThomas Letan
2020-08-27Add an (empty) projects pageThomas Letan
2020-08-27Additional tweaks to the designThomas Letan
2020-08-27Simplify the themeThomas Letan
2020-07-31Make the two articles about Ltac refer to each otherThomas 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-26Initial publicationThomas Letan
2020-07-21Remove half-deleted sentenceThomas Letan
2020-07-14Remove outdated TODO noteThomas Letan
2020-07-14Fix size of code fontThomas Letan
2020-07-14Fix sass issueThomas Letan
2020-07-14Prepare the introduction of a RSS feedThomas Letan
2020-07-14Identify the creation and last update date from the revisions tableThomas Letan
2020-07-12More spellchecking and typosThomas Letan
2020-07-12Invert the table of contents and the revision tablesThomas Letan
2020-07-12Display the full history of a file in revisions tablesThomas Letan
2020-07-12Add missing revisions tablesThomas Letan
2020-07-12Fix the width of revisions table when descriptions are too shortThomas Letan
2020-07-12SpellcheckingThomas Letan
2020-07-12New article on Algebraic DatatypesThomas Letan
2020-07-12Various fixes here and thereThomas Letan
2020-04-04Benefit from cleopatra org-related functions to export org filesThomas Letan
2020-04-02Small tweaking post-publicationThomas Letan
2020-04-02Refactor the build process to use cleopatra the SecondThomas Letan
2020-03-21Enjoy soupault’s plugin autodiscovery featureThomas Letan
2020-03-21This is a personal, not a professional blogThomas 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
2020-03-20Add a new post about Clight and its semanticsThomas Letan
2020-03-19Use inline mathematics to display KaTeXThomas Letan
2020-03-02Clean-up and writingThomas Letan
2020-02-29Continue the Series on cleopatraThomas Letan
2020-02-29Fix several typos in NewsThomas Letan
2020-02-29Improve the implementation explanation of the history.sh scriptThomas Letan
2020-02-29Continue to work on soupault configurationThomas Letan
2020-02-27More theme tweakingThomas Letan
2020-02-27Introduce a convenient Org syntax for inline mathsThomas Letan
2020-02-27Add a minimal style for the .example class used by Org for resultsThomas Letan
2020-02-27Use monokai-pro as the main theme and fix the CSS of Coq filesThomas Letan
2020-02-27Tweak the theme to be more responsiveThomas Letan
2020-02-27Theme reloadingThomas Letan
2020-02-27Make a generation process prebuild depends on its tangled fileThomas Letan
2020-02-26Use toml-mode for syntax highlighting and align a la Cargo.tomlThomas Letan