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

Commits

Commits on Oct 10, 2024

Rename occurrence of Coq in Sphinx configuration.
Zimmi48
committed

Commits on Oct 9, 2024

Commits on Sep 30, 2024

Clarify what is qualid after #18295.
Zimmi48
committed

Commits on Jun 11, 2024

Add detailed instructions to update the Zenodo record.
Zimmi48
committed

Commits on May 27, 2024

Fix file extensions in CODEOWNERS.
Zimmi48
committed

Commits on Oct 12, 2023

Partially revert #18108: go back to canonical coq.inria.fr URLs.
Zimmi48
committed

Commits on Oct 11, 2023

Fix CODEOWNERS for doc/stdlib.
Zimmi48
committed

Commits on Sep 20, 2023

Commits on Aug 3, 2023

Update doc/sphinx/proof-engine/ltac.rst

Zimmi48
and
SkySkimmer
authored

Commits on Aug 2, 2023

Split Docker images in two: one for base and one for edge.
Zimmi48
committed

Commits on Aug 1, 2023

Advertise Ltac2 in Ltac chapter.
Zimmi48
committed

Commits on Jul 18, 2023

Fix broken link in XML protocol documentation.
Zimmi48
committed

Commits on Jul 14, 2023

Stop mentioning Local, Export, Global prefixes for Set.
Zimmi48
committed

Commits on Jul 6, 2023

Auto-generate opam files using Dune.
Zimmi48
committed

Commits on Jul 4, 2023

Update the coqide.opam file to match what is accepted in opam-repository.
Zimmi48
committed

Commits on Jun 29, 2023

Fatal warnings for duplicate objects in Coq refman.
Zimmi48
committed

Commits on Jun 26, 2023

Fix documentation after #17394.
Zimmi48
committed

Commits on Jun 23, 2023

Changelog for 8.17.1.
Zimmi48
committed

Commits on Jun 20, 2023

Fix documentation of add_top.
Zimmi48
committed
Improvements to the stdlib hint db section.

Zimmi48
and
jfehrle
authored
Adapt examples in warning attribute documentation.

Zimmi48
authored and
proux01
committed

Commits on Jun 19, 2023