| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Remove GlobalTacticals |  Jason Gross | 2019-03-08 |
| | | | | | | | | | It turns out they don't actually work. See https://github.com/coq/coq/issues/9719, https://github.com/coq/coq/issues/9718, https://github.com/coq/coq/issues/9717, https://github.com/coq/coq/issues/9462#issuecomment-470822923 | ||
| * | Fix grepeat tactic | Jason Gross | 2019-03-08 |
| | | | | | It previously required progress on all goals, rather than any goal | ||
| * | Fix gprogress tactical | Jason Gross | 2019-03-08 |
| | | |||
| * | Add some gtactics | Jason Gross | 2019-03-08 |
 |
index : fiat-crypto | |
| fast, formally verified cryptography |
| aboutsummaryrefslogtreecommitdiff |