Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | nouveau ring/field | 2006-10-02 | |
* | remove an orphan comment (attached to a piece of code that was removed). | 2006-08-22 | |
* | Checks that abstract setoid rings can be defined in a module and the tactic | 2006-08-17 |