| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-11-30 | Fix typeclasses eauto shelving. | Théo Zimmermann |
| 2016-11-16 | Revert more of a477dc for good measure | Matthieu Sozeau |
| 2016-11-15 | Revert part of a477dc, disallow_shelved | Matthieu Sozeau |
| 2016-11-03 | typeclasses eauto Implem/doc of shelving strategy | Matthieu Sozeau |
| 2016-11-03 | Fix handling of only_classes at toplevel | Matthieu Sozeau |
| 2016-11-03 | Test new syntax for hints and typeclass options | Matthieu Sozeau |
| 2016-10-12 | Merge branch 'v8.5' into v8.6 | Pierre-Marie Pédrot |
| 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 | Implement limited proof search and iterative deepening. | Matthieu Sozeau |
| 2015-07-27 | Add an Iterative Deepening search strategy to typeclass resolution. | Matthieu Sozeau |
| 2010-10-05 | test-suite: fix success/Typeclasses.v | glondu |
| 2009-11-27 | Substitute terms for evars-as-goals as soon as they are solved in | msozeau |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |