| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | [lib] Split auxiliary libraries into Coq-specific and general. |  Emilio Jesus Gallego Arias | 2017-12-23 |
| * | Fix #4416: - Incorrect "Error: Incorrect number of goals" |  Arnaud Spiwack | 2016-10-10 |
| * | Removing dead code. |  Pierre-Marie Pédrot | 2015-02-02 |
| * | Monad: change the error managing of two-list combinators. | Arnaud Spiwack | 2014-10-23 |
| * | An additional [List.iter] monadic combinator. | Arnaud Spiwack | 2014-10-22 |
| * | Add more primitives to the [Monad.Make] arguments. | Arnaud Spiwack | 2014-10-22 |
| * | Add a two-list monadic fold_left iterator. | Arnaud Spiwack | 2014-10-22 |
| * | Small optimisation in the monadic list combinators. | Arnaud Spiwack | 2014-10-22 |
| * | Factor module signatures. | Arnaud Spiwack | 2014-10-22 |
| * | Adding a Ftactic module for potentially focussing tactics. | Pierre-Marie Pédrot | 2014-09-05 |
| * | Tacinterp: more refactoring. | Arnaud Spiwack | 2014-02-27 |
| * | Tacinterp: refactoring using Monad. | Arnaud Spiwack | 2014-02-27 |
| * | Remove unsafe code (Obj.magic) in Tacinterp. | Arnaud Spiwack | 2014-02-27 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |