CEP on the future of CoqIDE.#68

Merged

Zimmi48 merged 5 commits intocoq:masterfrom Zimmi48:coqide-split

May 30, 2023

+102

Commits on Apr 24, 2023

CEP on the future of CoqIDE.
Zimmi48
committed

Commits on Apr 25, 2023

Suggest to volunteer maintainers to present their plans for CoqIDE.
Zimmi48
authored

Commits on Apr 27, 2023

Frama-C and Why3 are not planning to drop lablgtk at this time.
Zimmi48
authored
Propose to volunteer CoqIDE contributors to also share their plans.
Zimmi48
authored

Commits on May 26, 2023

Mention evaluation of IDE features to support before removal.
Zimmi48
authored