Thanks to visit codestin.com
Credit goes to github.com

Commits

Commits on Jun 3, 2022

Use more portable find(1) syntax
0-wiz-0
committed

Commits on Jun 1, 2022

Merge PR #16110: Use a proper printing handler for undeclared setoid relation error.

coqbot-app[bot]
and
Alizter
authored
Locate UniverseLengthMismatch errors
SkySkimmer
committed
Merge PR #16113: Remove CClosure stats infrastructure

coqbot-app[bot]
and
ppedrot
authored

Commits on May 31, 2022

[coqdep] Remove unhandled Add LoadPath Code
ejgallego
committed
Merge PR #15991: [mltop] Fix bug storing legacy module info in Summary

coqbot-app[bot]
and
gares
authored
Stop inferring template universes in the kernel.
ppedrot
committed
Merge PR #16077: [coqdep] Untangle makefile-specific code from common

coqbot-app[bot]
and
Alizter
authored
Remove CClosure stats infrastructure
SkySkimmer
committed
Merge PR #16111: Add the 8.16 release to sphinx/conf.py.

coqbot-app[bot]
and
Zimmi48
authored
Merge PR #16101: Fix buggy implementation of SFclassify

coqbot-app[bot]
and
proux01
authored
Add the 8.16 release to sphinx/conf.py.
ppedrot
committed

Commits on May 30, 2022

Commits on May 29, 2022

Merge PR #16092: Fix extraction of max/min to Stdlib.max/min

coqbot-app[bot]
and
ana-borges
authored

Commits on May 28, 2022

Fix extraction of max/min to Stdlib.max/min
Alizter
committed