summaryrefslogtreecommitdiffstats
path: root/site/posts
AgeCommit message (Collapse)Author
2020-02-27Theme reloadingThomas Letan
2020-02-26Improving the end of the Bootstrapping cleopatra documentThomas Letan
2020-02-23Fix a typo in “Ltac 101”Thomas Letan
2020-02-23Reworking cleopatra presentationThomas Letan
2020-02-23Fix several typos in the posts indexThomas Letan
2020-02-23Polish cleopatraThomas Letan
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
- Fix the dependencies in the Makefile - Use a minimal emacs configuration with themes - Dark theme again
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-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-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-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-18First publication of a page listing FOSS used to build this websiteThomas Letan
2020-02-17Do not generate the news index automatically anymoreThomas 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-16Add a revision table to the “Rewrite in Coq” articleThomas Letan
2020-02-16Automatically generate a revision table from git historyThomas 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-05Add a minimal navigation bar for the websiteThomas Letan
2020-02-05Small changes in MiniHTTPServer.vThomas Letan
2020-02-05Various theme tweakingThomas Letan
2020-02-04Publish a new articleThomas Letan
2020-02-04Change the date formatThomas Letan
2020-02-04Rework StronglySpecifiedFunctionsProgram.vThomas Letan
2020-02-04Try to avoid long lines in StronglySpecifiedFunctions.vThomas Letan
2020-02-04Various fixes related to absolute URLsThomas Letan
2020-02-04Initial commit with previous content and a minimal themeThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 08:16:16 +0000