| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | declaration_hooks use Ephemeron |  gareuselesinge | 2013-10-18 |
| * | Moving side effects into evar_map. There was no reason to keep another |  ppedrot | 2013-10-05 |
| * | Fixing potential evar leak in Rewrite, and removing dead code. | ppedrot | 2013-10-05 |
| * | Made rewrite tactic strategies pure. They were using quite uglily | ppedrot | 2013-09-28 |
| * | Splitting Rewrite into a code part and a CAMLP4-dependent one. | ppedrot | 2013-09-26 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |