summaryrefslogtreecommitdiffstats
path: root/site
AgeCommit message (Collapse)Author
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
The chain of generation processes is now divided into three well-identified stages. The order of definition of generation processes is no longer important.
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
Because we are vendoring the fonts, and the caching duration is set to 1 year, we rename the directories of the font. Plus, we can have meaningful names which advertise the patch.
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
2020-02-23Provide a rule to initialize Emacs packagesThomas Letan
This allows for using make built-in parallel builds, using e.g. `make -j4'.
2020-02-23Integrate the scripts and plugins used by soupault in Soupault.orgThomas Letan
2020-02-23Reworking cleopatra presentationThomas Letan
2020-02-23Fix several typos in the posts indexThomas Letan
2020-02-23Polish cleopatraThomas Letan
2020-02-23Give up on clean URLsThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-29 16:59:35 +0000