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