Age | Commit message (Expand) | Author |
---|---|---|
2020-12-11 | coq-coqffi.1.0.0~beta2 has been released | Thomas Letan |
2020-12-08 | Announce coq-coqffi.1.0.0~beta1 | Thomas Letan |
2020-11-24 | Announce the acceptance of our coqffi paper | Thomas Letan |
2020-10-08 | coqffi has been published! | Thomas Letan |
2020-08-27 | Simplify the theme | Thomas Letan |
2020-07-12 | Various fixes here and there | Thomas Letan |
2020-04-02 | Small tweaking post-publication | Thomas Letan |
2020-03-21 | This is a personal, not a professional blog | Thomas Letan |
2020-02-29 | Fix several typos in News | Thomas Letan |
2020-02-23 | Fix various typos | Thomas Letan |
2020-02-23 | Announce to the world that cleopatra is bootstrapped | Thomas Letan |
2020-02-23 | Give up on clean URLs | Thomas Letan |
2020-02-17 | Add more short news | Thomas Letan |
2020-02-17 | Do not generate the news index automatically anymore | Thomas Letan |
2020-02-15 | Add a new section for news and announcements | Thomas Letan |