This topic was moved to #Proof General users > update proof general when updating coq by Karl Palmskog.
Last updated: Sep 23 2023 at 15:01 UTC