| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-03-18 | Implement ! goal selector for Ltac2. | Pierre-Marie Pédrot | |
| Fixes #13960: Ltac2 Eval does not work with Set Default Goal Selector "!". | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |