summaryrefslogtreecommitdiffstats
path: root/site/cleopatra
AgeCommit message (Expand)Author
2020-07-14Identify the creation and last update date from the revisions tableThomas Letan
2020-07-12Display the full history of a file in revisions tablesThomas Letan
2020-07-12Fix the width of revisions table when descriptions are too shortThomas Letan
2020-07-12Various fixes here and thereThomas Letan
2020-04-04Benefit from cleopatra org-related functions to export org filesThomas Letan
2020-04-02Refactor the build process to use cleopatra the SecondThomas Letan
2020-03-21Enjoy soupault’s plugin autodiscovery featureThomas Letan
2020-03-20Remove the “About” page and use the “Write-up” page as default indexThomas Letan
2020-03-02Clean-up and writingThomas Letan
2020-02-29Continue the Series on cleopatraThomas 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
2020-02-23Use a softer themeThomas Letan
2020-02-23Remove useless `sed' call in Coq file generation processThomas 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
2020-02-23Integrate the scripts and plugins used by soupault in Soupault.orgThomas Letan
2020-02-23Reworking cleopatra presentationThomas Letan