summaryrefslogtreecommitdiffstats
path: root/site/news
AgeCommit message (Expand)Author
2021-03-282021 Spring redesignThomas Letan
2021-01-30Add some news about January, 2021Thomas Letan
2020-12-16Mention coqffi.devThomas Letan
2020-12-16FreeSpec has been published to OpamThomas Letan
2020-12-11coq-coqffi.1.0.0~beta2 has been releasedThomas Letan
2020-12-08Announce coq-coqffi.1.0.0~beta1Thomas Letan
2020-11-24Announce the acceptance of our coqffi paperThomas Letan
2020-10-08coqffi has been published!Thomas Letan
2020-08-27Simplify the themeThomas Letan
2020-07-12Various fixes here and thereThomas Letan
2020-04-02Small tweaking post-publicationThomas Letan
2020-03-21This is a personal, not a professional blogThomas Letan
2020-02-29Fix several typos in NewsThomas Letan
2020-02-23Fix various typosThomas Letan
2020-02-23Announce to the world that cleopatra is bootstrappedThomas Letan
2020-02-23Give up on clean URLsThomas Letan
2020-02-17Add more short newsThomas Letan
2020-02-17Do not generate the news index automatically anymoreThomas Letan
2020-02-15Add a new section for news and announcementsThomas Letan
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-23 10:09:54 +0000