Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-08-28 | Heavy reworking of the Ltac series | Thomas Letan | |
2020-07-31 | Make the two articles about Ltac refer to each other | Thomas Letan | |
2020-07-21 | Remove half-deleted sentence | Thomas Letan | |
2020-07-14 | Prepare the introduction of a RSS feed | Thomas Letan | |
2020-02-23 | Fix a typo in “Ltac 101” | Thomas Letan | |
2020-02-19 | Do not use raw HTML for the titles of Coq posts | Thomas Letan | |
2020-02-17 | Render inline math at build time using KaTeX | Thomas Letan | |
2020-02-16 | Automatically generate a revision table from git history | 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 | |