Callan McGill (Jun 28 2022 at 00:20): Callan McGill (Jun 28 2022 at 00:20):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?
Notification Bot (Jun 28 2022 at 05:33):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