| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... |  letouzey | 2009-12-09 |
| * | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey | 2009-09-28 |
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | Fix notation for ~x in theories/Unicode/Utf8.v | glondu | 2009-08-31 |
| * | - Changement du code de Zplus pour accomoder ring qui sinon prend une |  herbelin | 2008-05-11 |
| * | migration of ide/utf8.v to theories/Unicode/Utf8.v | letouzey | 2007-12-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |