aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/complexity/ring2.v
Commit message (Expand)AuthorAge
* Minor fixes in the test-suite after my recent commitsGravatar letouzey2012-07-06
* ZArith + other : favor the use of modern names instead of compat notationsGravatar letouzey2012-07-05
* Fixes in the test-suite after modularisation of ZArith and coGravatar letouzey2011-05-06
* Fixing bug #2279 (printing nested let-in was in exponential time)Gravatar herbelin2010-03-27
* illegal tactic application was having Ltac interpreter loopGravatar barras2009-03-04
* test-suite/complexity/ring2.v: Zeqb_ok -> Zbool.Zeq_bool_eqGravatar letouzey2008-07-09
* Strategy commands are now exportedGravatar barras2008-05-22