aboutsummaryrefslogtreecommitdiff
path: root/test-suite/complexity/setoid_rewrite.v
AgeCommit message (Expand)Author
2019-01-30[toplevel] Deprecate the `-compile` flag in favor of `coqc`.Emilio Jesus Gallego Arias
2009-03-04illegal tactic application was having Ltac interpreter loopbarras
2006-11-01Ajout test setoid_rewrite (cf bug #1176); anglicisationherbelin