A subtle bug in tclWITHHOLES.#693

coqbot merged 1 commit into

rocq-prover:v8.6rocq-prover/rocq:v8.6from

herbelin:v8.6+fix-set-evars-theo-bugherbelin/github-coq:v8.6+fix-set-evars-theo-bugCopy head branch name to clipboard