Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch | 2009-04-08 | |
* | Ocamlbuild: improvements suggested by N. Pouillard | 2009-04-03 | |
* | ocamlbuild improvements + minor makefile fix | 2009-03-24 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Backport of Eric Le Lay's patch (bug report #2078) from v8.2 branch | 2009-04-08 | |
* | Ocamlbuild: improvements suggested by N. Pouillard | 2009-04-03 | |
* | ocamlbuild improvements + minor makefile fix | 2009-03-24 |