Heads up that everyone using PG with Coq 8.14+rc1 from
core-dev will get the following error:
File mode specification error: (coq-unclassifiable-version . 8.14+rc1 compiled)
Thanks @Karl Palmskog for the heads-up; I've just merged a fix.
But it will only be available after next whole MELPA build (in less than 12 hours anyway).
At that time, you'll be able to upgrade the package, as recalled in Section Keeping Proof General up-to-date on PG website.
thanks Erik, can confirm the latest MELPA works with 8.14+rc1 now
Last updated: Oct 21 2021 at 21:03 UTC