summaryrefslogtreecommitdiffstats
path: root/.gitignore
AgeCommit message (Expand)Author
2023-05-13Ignore highlighting themeThomas Letan
2023-05-13The great rewrite of 2023Thomas Letan
2023-05-01Blogpost and OCaml, tree-sitter and LSP in neovimThomas Letan
2023-04-29Enable soupault cachingThomas Letan
2023-04-27Spatial Shell Call for TestersThomas Letan
2023-01-26Stacked Git patch theory new blogpostThomas Letan
2023-01-16Second article on Stacked GitThomas Letan
2022-11-19Monthly retrospective: October and November 2022Thomas Letan
2022-10-23Website reorgThomas 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-27 04:19:29 +0000