BranchCommit messageAuthorAge
masterBenefit from cleopatra org-related functions to export org filesThomas Letan8 weeks
AgeCommit messageAuthor
2020-04-04Benefit from cleopatra org-related functions to export org filesHEADmasterThomas Letan
2020-04-02Small tweaking post-publicationThomas Letan
2020-04-02Refactor the build process to use cleopatra the SecondThomas Letan
2020-03-21Enjoy soupault’s plugin autodiscovery featureThomas Letan
2020-03-21This is a personal, not a professional blogThomas Letan
2020-03-20Do not use the mailing list anymoreThomas 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-03-19Use inline mathematics to display KaTeXThomas Letan
2020-03-02Clean-up and writingThomas Letan