Fixing the debug mode (for recent coq verions).#788

Merged

Matafou merged 2 commits intoProofGeneral:masterfrom

Matafou:fix-debug-mode

Apr 2, 2025

Commits on Sep 9, 2024

Fixing the debug mode (for recent coq verions).
Matafou
committed

Commits on Apr 1, 2025

Merge branch 'master' into fix-debug-mode
Matafou
committed