summaryrefslogtreecommitdiffstats
path: root/site/news
AgeCommit message (Expand)Author
2023-05-13The great rewrite of 2023Thomas Letan
2023-04-30Let’s celebre the release of Spatial Shell 1Thomas Letan
2023-04-28Fix the suggested sway config to actually start waybarThomas Letan
2023-04-28Fix typo in env variable nameThomas Letan
2023-04-27Remove duplicated catch phraseThomas Letan
2023-04-27Rewording and improvementsThomas Letan
2023-04-27Spatial Shell Call for TestersThomas Letan
2022-11-19Monthly retrospective: October and November 2022Thomas Letan
2022-10-23Website reorgThomas Letan
2022-08-21spatial-sway is a thing nowThomas Letan
2022-08-15Let’s have a monthly retrospective for onceThomas Letan
2022-08-13Goodbye, cleopatraThomas Letan
2021-08-20Advertise the release of coqffi beta 6 and 7Thomas Letan
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