| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix (partial) #4878: option to stop autodeclaring axiom as instance. |  Gaëtan Gilbert | 2017-11-28 |
| * | Revert more of a477dc for good measure |  Matthieu Sozeau | 2016-11-16 |
| * | Revert part of a477dc, disallow_shelved | Matthieu Sozeau | 2016-11-15 |
| * | Fix test-suite files relying on tcs bugs | Matthieu Sozeau | 2016-11-03 |
| * | typeclasses eauto Implem/doc of shelving strategy | Matthieu Sozeau | 2016-11-03 |
| * | Typeclass backtracking example by J. Leivant | Matthieu Sozeau | 2016-09-28 |
| * | Tentative fix of test-suite file to avoid loop | Matthieu Sozeau | 2016-06-16 |
| * | Cleanup and refactoring | Matthieu Sozeau | 2016-06-16 |
| * | Revise syntax of Hint Cut | Matthieu Sozeau | 2016-06-16 |
| * | Example given at DeepSpec workshop | Matthieu Sozeau | 2016-06-16 |
| * | Purely refactoring and code/API cleanup. | Matthieu Sozeau | 2016-06-16 |
| * | bteauto: a Proofview.tactic for multiple goals | Matthieu Sozeau | 2016-06-16 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |