path: root/site
AgeCommit message (Expand)Author
2020-04-04Benefit from cleopatra org-related functions to export org filesHEADmasterThomas 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 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 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
2020-02-23Use a softer themeThomas Letan
2020-02-23Announce to the world that cleopatra is bootstrappedThomas Letan
2020-02-23Remove useless `sed' call in Coq file generation processThomas Letan
2020-02-23Fix a typo in “Ltac 101”Thomas Letan
2020-02-23Ignore build.logThomas Letan
2020-02-23cleopatra is completely boostrappedThomas Letan
2020-02-23Do not remove cleopatra files with 'make clean'Thomas Letan