summaryrefslogtreecommitdiffstats
path: root/site
AgeCommit message (Expand)Author
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
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
2020-02-23Fix several typos in the posts indexThomas Letan
2020-02-23Polish cleopatraThomas Letan
2020-02-23Give up on clean URLsThomas Letan
2020-02-23First complete draft for the Root of Generation sectionThomas Letan
2020-02-22Explain 'tangle-org.el'Thomas Letan
2020-02-22Remove an orphan sentenceThomas Letan
2020-02-22List current generation processes and document how to add oneThomas Letan
2020-02-22Increase the width of the log file header generated by cleopatraThomas Letan
2020-02-22Remove useless dependencies in the `build' rule of cleopatraThomas Letan
2020-02-22Integrate `update-gitignore.sh' inside cleopatraThomas Letan
2020-02-22Use `tangle-org.el' during bootstrapThomas Letan
2020-02-22Make ~make~ to call itself with the `build` rule when none is givenThomas Letan
2020-02-22Provide a generic and reliable way to extends cleopatraThomas Letan
2020-02-22Initiate the redaction of Bootstrap.orgThomas Letan
2020-02-21Various improvement in cleopatraThomas Letan
2020-02-20Adopt a literate programming for `main.sass'Thomas Letan
2020-02-20Make an heavy use of Makefile variablesThomas Letan
2020-02-20Make cleopatra extensibleThomas Letan
2020-02-19Always use variables for colors in main.sassThomas Letan
2020-02-19Name the toolchain and provide some context about its seriesThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 19:09:53 +0000