index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test-suite
/
success
/
Typeclasses.v
Commit message (
Expand
)
Author
Age
*
Change Implicit Arguments to Arguments in test-suite
Jasper Hugunin
2018-03-30
*
Fix (partial) #4878: option to stop autodeclaring axiom as instance.
Gaëtan Gilbert
2017-11-28
*
Fix typeclasses eauto shelving.
Théo Zimmermann
2016-11-30
*
Revert more of a477dc for good measure
Matthieu Sozeau
2016-11-16
*
Revert part of a477dc, disallow_shelved
Matthieu Sozeau
2016-11-15
*
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-11-03
*
Merge branch 'v8.5' into v8.6
Pierre-Marie Pédrot
2016-10-12
|
\
*
|
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
2016-06-16
*
|
Add an Iterative Deepening search strategy to typeclass resolution.
Matthieu Sozeau
2015-07-27
|
/
*
test-suite: fix success/Typeclasses.v
glondu
2010-10-05
*
Substitute terms for evars-as-goals as soon as they are solved in
msozeau
2009-11-27