summaryrefslogtreecommitdiffstats
path: root/site/cleopatra
AgeCommit message (Expand)Author
2020-12-14Do not output when tangling coqffi tutorialThomas Letan
2020-12-14Avoid to display too much noweb variablesThomas Letan
2020-12-14Massive performance improvement for `history.sh'Thomas Letan
2020-12-12Color tweakingThomas Letan
2020-12-12Use Spectral RegularThomas Letan
2020-12-11Link to Coq dependencies’ documentationThomas Letan
2020-12-11Kiss goodbye to the blue linksThomas Letan
2020-12-10Fix the generation of coqffi-tutorial.tar.gzThomas Letan
2020-12-10Add a Series on coqffi, and the first literate program of this blogThomas Letan
2020-12-08Tweak the theme to increase its book vibeThomas Letan
2020-11-24Remove a redundant </head> tag in HTML templateThomas Letan
2020-11-24Rework header to make it more mobile friendlyThomas Letan
2020-10-23Update to soupault.2.0.0Thomas Letan
2020-10-09Fix Coq source scrollingThomas Letan
2020-10-09Variablify the margin of a pageThomas Letan
2020-10-08Use Linux LibertineThomas Letan
2020-09-23Small CSS tweaksThomas Letan
2020-09-03Fix a mistake in the footerThomas 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-27Additional tweaks to the designThomas Letan
2020-08-27Simplify the themeThomas Letan
2020-07-14Remove outdated TODO noteThomas Letan
2020-07-14Fix size of code fontThomas Letan
2020-07-14Fix sass issueThomas Letan
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-25 16:40:31 +0000