website which tracks mathlib github history

Stream: general

[Kevin Buzzard]

I seem to have lost set.mem_bUnion_iff -- it worked in my course last year and doesn't work any more. I have also lost the URL of the website which tracked changes in lemma names! And my search-fu seems to be weak today. What am I missing?

[Ruben Van de Velde]

https://mathlib-changelog.org/

[Sebastien Gouezel]

You can find the link again by going to the mathlib blog and finding the article about this website.

[Kevin Buzzard]

Aah nice! I've used the mathlib blog for finding other things but I'd forgotten there was something about this website.

[Kalle Kytölä]

Would it make sense to create a Zulip linkifier to #changelog? I've lost the link before, too. (I have a strictly positive number of dusty projects for which the changelog has come in handy. :sweat_smile:)

Do we already have a linkifier to #blog, btw? That's anyway a more clever way to find the changelog than what I have used. [EDIT: $\not \exists$]

[Yury G. Kudryashov]

I use git log -S mem_bUnion_iff

[Johan Commelin]

#changelog and #blog

[Yaël Dillies]

:b:log

[Damiano Testa]

:copyright:log :upside_down:

[Bolton Bailey]

Is there a mathlib-changelog.org for mathlib4?

[Yaël Dillies]

I wish there was, but it will be more complicated to write because we will want it to track changes through the port

[Eric Wieser]

Why would we need it yet? Nothing is being moved in mathlib4 yet, is it?

[Bolton Bailey]

I was trying to update Mario's lean 4 Metamath implementation and there were things that had changed that I wanted to see the earlier versions of.

[Bolton Bailey]

Turns out they were in init, rather than mathlib itself. Which leads me to another question: does the changelog site track changes to lean Init/Std?