| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Ensuring all .v files end with a newline to make "sed -i" work better on them. |  Hugo Herbelin | 2017-08-21 |
| * | sections/hints: prevent Not_found in get_type_of |  Matthieu Sozeau | 2016-10-21 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Correction d'un bug de clear |  notin | 2008-02-11 |
| * | Report de la révision 9577 dans le trunk | notin | 2007-02-01 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |