Hi. With Coq 8.14 & PG 20211109.1442 (installed by elpa), I have this error when opening a Coq file:
File mode specification error: (coq-unclassifiable-version . 8.14.0 compiled)
Do you understand what is happening here?
probably related to this previous closed issue: https://github.com/ProofGeneral/PG/issues/600
ping @Erik Martin-Dorel
Hmm. In fact, I was loading a old version of PG... This now works since the ELPA version is loaded. Sorry for the noise.
at least we find out that testing on Coq 8.14+rc1 paid off...
Last updated: Feb 06 2023 at 06:29 UTC