I am trying to update my version of coq but when I open proof general it now says:
"Symbol's value as variable is void: coq-debug"
What is the recommended thing to do?
This topic was moved to #Proof General users > update proof general when updating coq by Karl Palmskog.
Last updated: Feb 06 2023 at 13:03 UTC