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)
See: https://github.com/ProofGeneral/PG/issues/600
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 13 2024 at 01:02 UTC