first commit after v8.14 branch

The Coq proof assistant, version 8.13.2

The Coq proof assistant, version 8.13.1

The Coq proof assistant, version 8.13.0.

The 8.12.2 release of the Coq proof assistant.

The Coq Proof Assistant, first beta release of version 8.13.

first commit after v8.13 branch

The Coq proof assistant, version 8.12.1.

The Coq proof assistant, version 8.12.0.

The Coq Proof Assistant, first beta release of version 8.12.