| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-05-25 | Merge PR#637: Short cleaning of the interpretation path for constr_with_bindings | Maxime Dénès |
| 2017-05-24 | Merge branch 'trunk' into located_switch | Emilio Jesus Gallego Arias |
| 2017-05-22 | Clarifying the interpretation path for the "constr_with_binding" argument. | Hugo Herbelin |
| 2017-04-27 | Remove unused [open] statements | Gaetan Gilbert |
| 2017-04-25 | [location] Make location optional in Loc.located | Emilio Jesus Gallego Arias |
| 2017-02-14 | Ltac now uses evar-based constrs. | Pierre-Marie Pédrot |
| 2017-02-14 | Tactics API using EConstr. | Pierre-Marie Pédrot |
| 2016-09-21 | Merging Stdarg and Constrarg. | Pierre-Marie Pédrot |
| 2016-03-17 | Removing the special status of generic entries defined by Coq itself. | Pierre-Marie Pédrot |
| 2016-01-20 | Update copyright headers. | Maxime Dénès |
| 2015-01-12 | Update headers. | Maxime Dénès |
| 2013-06-19 | Moving wit_unit to Stdarg. | ppedrot |
| 2013-06-18 | Proof-of-concept: moved four easy-to-handle generic arguments to | ppedrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |