summaryrefslogtreecommitdiffstats
path: root/.gitignore
AgeCommit message (Expand)Author
2022-10-23Website reorgHEADmainThomas Letan
2022-08-15Let’s have a monthly retrospective for onceThomas Letan
2022-08-13Provide a script to capture output of commands into files in 'logs/'Thomas Letan
2022-08-13Use emacs --daemon to speed things upThomas Letan
2022-08-13Goodbye, cleopatraThomas Letan
2022-08-07Add a new post about rank-n types in OCamlThomas Letan
2022-01-16Stacked Git is coolThomas Letan
2021-08-20Update various dependencies used by this websiteThomas Letan
2021-03-282021 Spring redesignThomas Letan
2021-01-24Ignore _opamThomas Letan
2020-12-13Benefit from latest cleopatra to get .gitignore content sortedThomas Letan
2020-12-11Update gitignoreThomas Letan
2020-12-10Add a Series on coqffi, and the first literate program of this blogThomas Letan
2020-11-24Update gitignore fileThomas Letan
2020-10-10Create a summary page for the strongly-specified functions seriesThomas Letan
2020-08-30Introducing the Opinions pageThomas Letan
2020-08-29Start the documentation of the theme build processThomas Letan
2020-08-28Heavy reworking of the Ltac seriesThomas Letan
2020-08-27Add a page to display my keystrokes reportingThomas Letan
2020-08-27Add an (empty) projects pageThomas Letan
2020-08-27Simplify the themeThomas Letan
2020-07-26Initial publicationThomas 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-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-02-29Continue to work on soupault configurationThomas 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-23Move plugin-specific SASS rules in Soupault.orgThomas Letan
2020-02-23Yet another attempt to only init npm and Emacs when necessaryThomas 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-23Polish 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-22Provide a generic and reliable way to extends cleopatraThomas 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-19Name the toolchain and provide some context about its seriesThomas Letan
2020-02-19Rework the Makefiles for a cleaner handling of generated scriptsThomas Letan
2020-02-19Various improvement in the content generation processThomas Letan