Preparing for coq-metacoq.1.0~beta2+8.12#540
Merged
mattam82 merged 78 commits intoMetaCoq:coq-8.12from yforster:coq-8.12-jan18Jan 19, 2021
+15,088-10,794
Commits
Commits on Nov 26, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 27, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 1, 2020
Commits on Dec 2, 2020
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 3, 2020
- authored
- committed
- committed
- authored
- committed
- authored
Commits on Dec 4, 2020
- authored
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 5, 2020
Commits on Dec 8, 2020
- committed
Commits on Dec 9, 2020
Commits on Dec 10, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
Commits on Dec 11, 2020
Commits on Dec 12, 2020
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
