| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Various optimizations in Constr, such as term sharing and allocation |  ppedrot | 2013-10-22 | |
| * | Removing a bunch of generic equalities. | ppedrot | 2013-09-27 | |
| * | Get rid of the uses of deprecated OCaml elements (still remaining compatible ... |  xclerc | 2013-09-19 | |
| * | At least made the evar type opaque! There are still 5 remaining unsafe | ppedrot | 2013-09-18 | |
| * | More complete hashcons : lists (dirpath), arrays (constr) |  letouzey | 2013-08-22 | |
| * | Splitting Term into five unrelated interfaces: | ppedrot | 2013-04-29 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |