Commit message (Expand) | Author | Age | |
---|---|---|---|
* | ZArith + other : favor the use of modern names instead of compat notations | 2012-07-05 | |
* | Moved Case3.v from ideal features to success (it works since 8.2). | 2010-04-17 | |
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | test-suite/ideal-features/{apply.v -> eapply_evar.v} | 2008-11-02 |