Skip to content

Fix goals panel when no proof is active on Coq >= 8.16.#337

Merged
whonore merged 2 commits intowhonore:mainfrom jesboat:fix-goals-when-no-proofFeb 17, 2024
+21-11

Commits

Commits on Feb 14, 2024

Commits on Feb 17, 2024