| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-12-23 | [lib] Split auxiliary libraries into Coq-specific and general. | Emilio Jesus Gallego Arias |
| 2017-12-05 | Rename update to set, fixes #6196 | Paul Steckler |
| 2017-11-01 | Fix FIXME: use OCaml 4.02 generative functors when available. | Gaëtan Gilbert |
| 2016-01-06 | Merge remote-tracking branch 'origin/v8.5' into trunk | Guillaume Melquiond |
| 2016-01-06 | Protect code against changes in Map interface. | Maxime Dénès |
| 2015-12-05 | Leveraging GADTs to provide a better Dyn API. | Pierre-Marie Pédrot |
| 2015-12-04 | Specializing the Dyn module to each usecase. | Pierre-Marie Pédrot |
| 2014-03-05 | Fixing compilation on OCaml 4.01. | Pierre-Marie Pédrot |
| 2013-10-10 | Clib: fold_left_until added to CList | gareuselesinge |
| 2013-09-06 | Moving Searchstack to CStack, and normalizing names a bit. | ppedrot |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |