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: Feb 06 2023 at 20:02 UTC