aboutsummaryrefslogtreecommitdiff
path: root/test-suite/interactive/proof_block.v
AgeCommit message (Expand)Author
2016-06-06Error box detection run only on errorEnrico Tassi
2016-06-06STM: proof block detection made optional + simple testEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-11 04:46:13 +0000