| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fixing "clear" in internal_cut_replace: forbid dependencies in the |  Hugo Herbelin | 2014-06-13 |
| * | Fixing wrong environment for Meta's in pose_all_metas_as_evars (bug #3284). | Hugo Herbelin | 2014-06-13 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |