I updated Coq to version 8.14.1 and now when I open a *.v file, ProofGeneral gives me the error:
"File mode specification error: (coq-unclassifiable-version . 8.14.1
anyone have any insight into how to tell proofgeneral how to find the coq version
Patrick Nicodemus has marked this topic as resolved.
Never mind, I'm an idiot. Forgot to update ProofGeneral as well.
Last updated: Jan 29 2023 at 06:02 UTC