Coq Call 2021 10 13 - coq/coq GitHub Wiki

Topics

Postponed

Notes

  • 8.15 feature freeze on November 15th.
  • Long discussion about deprecation warnings not being adressed in the CI. Two solutions to improve this:
    • alert the developers by pinging them explicitely to fix the warning
    • tooling help to display the warnings summary on CI
  • known issues plan: have a tag for long-known issues on github, work on documenting these limitations in the manual (e.g. Ltac and clear) and indexing them for easier search.
  • progress on #14644 with Emilio and Pierre-Marie, looks like it can make it to 8.15.
  • 14536: let's leave it as is, sadly we have to do this guesswork in gtk3 to avoid the flickering effect.