| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-05-29 | Merge PR#512: [cleanup] Unify all calls to the error function. | Maxime Dénès |
| 2017-05-27 | [cleanup] Unify all calls to the error function. | Emilio Jesus Gallego Arias |
| 2017-05-27 | [coqlib] Move `Coqlib` to `library/`. | Emilio Jesus Gallego Arias |
| 2017-05-27 | [coqlib] Deprecate redundant Coqlib functions. | Emilio Jesus Gallego Arias |
| 2017-04-27 | Remove some unused values and types | Gaetan Gilbert |
| 2017-04-27 | Remove unused [rec] keywords | Gaetan Gilbert |
| 2017-04-11 | Merge PR#532: Clean Nsatz implementation. | Maxime Dénès |
| 2017-04-09 | Academic prescriptivism strikes back: down with baroque programming in Nsatz. | Pierre-Marie Pédrot |
| 2017-02-14 | Tactics API using EConstr. | Pierre-Marie Pédrot |
| 2016-07-13 | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot |
| 2016-07-03 | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | Pierre Letouzey |
| 2016-03-06 | Splitting the nsatz ML module into an implementation and a grammar files. | Pierre-Marie Pédrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |