summaryrefslogtreecommitdiffstats
path: root/site
AgeCommit message (Expand)Author
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
2020-02-26Generalize the meta-generator widget using the power of OrgThomas Letan
2020-02-26Display source blocks names and tangle filenames in HTML outputThomas Letan
2020-02-26Improving the end of the Bootstrapping cleopatra documentThomas Letan
2020-02-26Set a width linked to the font sizeThomas Letan
2020-02-26Introduce a notion of dependency between generation processesThomas Letan
2020-02-25Allow cleopatra to create missing directoriesThomas Letan
2020-02-25Rework the revisions table script to make it more readableThomas Letan
2020-02-24Improve the readability of the revisions table scriptThomas Letan
2020-02-24More tweaking of too long code linesThomas Letan
2020-02-24Rework users instructions for the equation pluginThomas Letan
2020-02-24Add users instructions for the revision tables pluginsThomas Letan
2020-02-24Hide sections numbers for H4 and more in Org documentsThomas Letan
2020-02-24Add support for JSON source block for Org documentsThomas Letan
2020-02-23Fix various typosThomas Letan
2020-02-23Reduce the length of long lines of code in cleopatraThomas Letan
2020-02-23Reduce the size of the `alt' attribute of the headerThomas Letan
2020-02-23Explain how equations are rendered offlineThomas Letan
2020-02-23Move plugin-specific SASS rules in Soupault.orgThomas Letan
2020-02-23Use font-display, use non-breaking spaces with URL markThomas Letan
2020-02-23Try to improve the situation with overflowing source blocksThomas Letan
2020-02-23Yet another attempt to only init npm and Emacs when necessaryThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-18 16:35:13 +0000