path: root/.gitignore
AgeCommit message (Expand)Author
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 `' 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
2020-02-19Initiate a literate programming approach for the Makefile rulesThomas Letan
2020-02-18First publication of a page listing FOSS used to build this websiteThomas Letan
2020-02-17Ignore soupault.conf as it is generated from an org postThomas Letan
2020-02-17Render inline math at build time using KaTeXThomas Letan
2020-02-16Adopt a literate programming approach for the configurationThomas Letan
2020-02-15Add a new section for news and announcementsThomas Letan
2020-02-15Make the website 3rd-party free and improve loading performanceThomas Letan
2020-02-15Self hosting of Fira Sans and various small fixesThomas Letan
2020-02-14Provide an index page for write-ups with more valueThomas Letan
2020-02-05Rename org postsThomas Letan
2020-02-05Keep the list of html files to ignore up-to-date when buildingThomas Letan
2020-02-04Various fixes related to absolute URLsThomas Letan