| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | [api] Move structures deprecated in the API to the core. |  Emilio Jesus Gallego Arias | 2017-11-06 |
| * | [API] Remove `open API` in ml files in favor of `-open API` flag. | Emilio Jesus Gallego Arias | 2017-07-17 |
| * | Put all plugins behind an "API". |  Matej Kosik | 2017-06-07 |
| * | Replacing "cast surgery" in LetIn by a proper field (see PR #404). |  Hugo Herbelin | 2017-03-24 |
| * | Function now supports puniveres |  jforest | 2015-04-14 |
| * | handling Functional Scheme for required but not imported modules |  Julien Forest | 2014-12-11 |
| * | Modulification of name |  ppedrot | 2012-12-18 |
| * | Modulification of identifier | ppedrot | 2012-12-14 |
| * | New files intf/constrexpr.mli and intf/notation_term.mli out of Topconstr |  letouzey | 2012-05-29 |
| * | Rename files in funind to respect new conventions |  glondu | 2010-12-24 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |