Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [compat] Remove "Shrink Abstract" | Emilio Jesus Gallego Arias | 2018-03-06 |
| | | | | Following up on #6791, we the option "Shrink Abstract". | ||
* | Documenting the Shrink Abstract option. | Pierre-Marie Pédrot | 2015-08-22 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | [compat] Remove "Shrink Abstract" | Emilio Jesus Gallego Arias | 2018-03-06 |
| | | | | Following up on #6791, we the option "Shrink Abstract". | ||
* | Documenting the Shrink Abstract option. | Pierre-Marie Pédrot | 2015-08-22 |