Topic: keep a changelog
Sean Leather (Jul 29 2018 at 13:13):
Kevin Buzzard (Jul 29 2018 at 16:09):
Mathlib is an ongoing project without releases. You probably don't want a changelog for every commit. I think Mario once suggested that one could perhaps "pretend" that there's a release on the first of every month. Perhaps the community spending 5 minutes discussing what major things happened in the last month or so would be a good idea! For example I believe that this month we got polynomials in one variable.
Last updated: May 11 2021 at 13:22 UTC