summaryrefslogtreecommitdiffstats
path: root/site/cleopatra/Contents/Org.org
AgeCommit message (Expand)Author
2020-04-02Refactor the build process to use cleopatra the SecondThomas 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-26Use toml-mode for syntax highlighting and align a la Cargo.tomlThomas 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-26Introduce a notion of dependency between generation processesThomas 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-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-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
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-30 00:09:16 +0000