compare API

Stream: metaprogramming / tactics

[Yury G. Kudryashov]

Hi, I did some API review/refactor in #17809. As a part of the process, I reordered the lemmas to golf the proofs. I want to list all API changes in the commit message but I'm not sure that I've caught all of them. How do I print something similar to #print prefix _ but for all definitions/lemmas in the current file instead of a prefix?

[Yury G. Kudryashov]

The goal is to compare the output in master and in my branch using diff.

[Alex J. Best]

Does #7003 help?

[Yury G. Kudryashov]

Let me test it.

[Yury G. Kudryashov]

Thanks! It works (though I needed to join some lines, then sort them to compare versions).