aboutsummaryrefslogtreecommitdiff
path: root/test-suite/complexity/evars_subst.v
AgeCommit message (Expand)Author
2006-12-12Backtrack sur suppression des vars anonymes des contextes d'evars (echec Case...herbelin
2006-12-12Test bug #932herbelin
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-29 02:13:20 +0000