Breaking changes

Stream: Emacs

[Yury G. Kudryashov]

Yesterday, I started making non fully backwards compatible changes. For now, I removed the files lean4-dev and lean4-debug. I'm going to announce here all changes that will likely cause users to change their config files. If you rely on some functions other than customizable settings, please tell me.

[Mekeor Melire]

I'd propose to maintain the changelog file instead of requiring users to read Zulip messages.

[Yury G. Kudryashov]

I'm going to add this to the changelog file, then use both zulip and changelog in the future.

[Yury G. Kudryashov]

So that users who update via a semi-automatic process will be notified about breaking changes, if they read either changelog or zulip.