summaryrefslogtreecommitdiffstats
path: root/site
AgeCommit message (Expand)Author
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
2020-02-19Use the correct font for interfaces in the titlesThomas Letan
2020-02-19Rework the Makefiles for a cleaner handling of generated scriptsThomas Letan
2020-02-19Add a section in write-up index for the meta contentsThomas Letan
2020-02-19Do not use raw HTML for the titles of Coq postsThomas 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-18Generate the ToC with soupault rather than org-mode in Thanks.orgThomas Letan
2020-02-18Add an improvable favicon to the websiteThomas Letan
2020-02-18Fix coding style in Strongly-Specified Functions part 2Thomas Letan
2020-02-18Do not extract Coq terms in Strongly-Specified Functions part 2Thomas Letan
2020-02-18Add an alt attribute to the header imageThomas Letan
2020-02-18First publication of a page listing FOSS used to build this websiteThomas Letan
2020-02-17Add more short newsThomas Letan
2020-02-17Do not generate the news index automatically anymoreThomas Letan
2020-02-17Add a minor styling for inline mathsThomas Letan
2020-02-17Render inline math at build time using KaTeXThomas Letan
2020-02-17Remove ugly border around my avatarThomas Letan
2020-02-16Adopt a literate programming approach for the configurationThomas Letan
2020-02-16Add a revision table to the “Rewrite in Coq” articleThomas Letan
2020-02-16Automatically generate a revision table from git historyThomas Letan
2020-02-16Add a dedicated icon for GitHub linksThomas Letan
2020-02-15Mark external links with a dedicated iconThomas Letan
2020-02-15Add missing fonts and rename the pluginThomas Letan
2020-02-15Use a light themeThomas 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-14Fix spelling errorThomas Letan
2020-02-14Rework the introduction of the strongly-specified functions serieThomas Letan
2020-02-14Provide an index page for write-ups with more valueThomas Letan
2020-02-05Rename org postsThomas Letan
2020-02-05Some more minor tweaksThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-26 23:02:42 +0000