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
compiled) "
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: Oct 13 2024 at 01:02 UTC