Zulip Chat Archive

Stream: general

Topic: keep a changelog


view this post on Zulip Sean Leather (Jul 29 2018 at 13:13):

I just discovered Keep a Changlog, which reminded me of our previous discussions on mathlib releases.

view this post on Zulip 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