Stream: Coq users

Topic: update proof general when updating coq


view this post on Zulip 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?

view this post on Zulip 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