Skip to content

Fixed an error when proof-ignore-for-undo-count is a function.#679

Open
rssoc wants to merge 1 commit intoProofGeneral:masterfrom rssoc:master

Commits

Commits on Dec 15, 2022