Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-05-13 | The great rewrite of 2023 | Thomas Letan | |
2022-10-23 | Website reorg | Thomas Letan | |
2021-03-28 | 2021 Spring redesign | Thomas Letan | |
2020-07-14 | Prepare the introduction of a RSS feed | Thomas Letan | |
2020-02-19 | Do not use raw HTML for the titles of Coq posts | Thomas Letan | |
2020-02-16 | Add a revision table to the “Rewrite in Coq” article | Thomas Letan | |
2020-02-04 | Change the date format | Thomas Letan | |
2020-02-04 | Initial commit with previous content and a minimal theme | Thomas Letan | |