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