Stream: Coq users

Topic: ✔ Broke proof general while updating - ideas?


view this post on Zulip Patrick Nicodemus (Nov 26 2021 at 17:24):

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) "

view this post on Zulip Patrick Nicodemus (Nov 26 2021 at 17:25):

anyone have any insight into how to tell proofgeneral how to find the coq version

view this post on Zulip Notification Bot (Nov 26 2021 at 17:32):

Patrick Nicodemus has marked this topic as resolved.

view this post on Zulip Patrick Nicodemus (Nov 26 2021 at 17:32):

Never mind, I'm an idiot. Forgot to update ProofGeneral as well.


Last updated: Jan 29 2023 at 06:02 UTC