Skip to content

New hook for early prompt/output analyzis.#495

Merged
Matafou merged 1 commit into
ProofGeneral:masterfrom
Matafou:early-state-change-hook
Jun 4, 2020
Merged

New hook for early prompt/output analyzis.#495
Matafou merged 1 commit into
ProofGeneral:masterfrom
Matafou:early-state-change-hook

Commits

Commits on May 28, 2020