Matthieu Sozeau (efb36f1a) at 14 Jan 11:26
Matthieu Sozeau (efb36f1a) at 14 Jan 11:10
Bump stdpp
Matthieu Sozeau (c0c6779d) at 14 Jan 09:50
Fix bi_rewrite_relation hint priority
... and 279 more commits
Matthieu Sozeau (abba5b45) at 03 Jun 14:51
Backward compatible fix for Coq PR#7916