| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Partial revert of Yann commit in order to use CLib.List when opening |  ppedrot | 2012-09-14 |
| * | This patch removes unused "open" (automatically generated from |  regisgia | 2012-09-14 |
| * | Updating headers. |  herbelin | 2012-08-08 |
| * | Module names and constant/inductive names are now in two separate namespaces |  letouzey | 2012-03-26 |
| * | Noise for nothing |  pboutill | 2012-03-02 |
| * | First attempt at making Print Assumption compatible with opaque modules (fix ... | letouzey | 2011-10-25 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |