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