| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |