Skip to content

Experiments to fix the goals not showing on errors.#429

Open
Matafou wants to merge 1 commit intoProofGeneral:masterfrom Matafou:fix-show-goal-on-error
+27

Commits