Tags

Tags give the ability to mark specific points in history as being important

V8.13+alpha

f1238742 · Update to 8.13. · May 18, 2020
```
First commit after v8.12 branching point.
```
V8.11.2

1539a9a0 · Merge PR #12328: Release 8.11.2 · May 14, 2020
V8.11.1

c48af75d · Merge PR #12017: Release 8.11.1 · Apr 04, 2020
V8.11.0

b7c4ca96 · Merge PR #11439: Release 8.11.0 · Jan 24, 2020
V8.11+beta1

30a4027c · Merge PR #11226: Bump version number to 8.11+beta1. · Dec 04, 2019
```
V8.11+beta1
```
V8.10.2

a7027d44 · Merge PR #11206: Coq version 8.10.2 · Nov 28, 2019
```
Coq 8.10.2
```
V8.12+alpha

e0d870a4 · Update the deprecation doc of `Shrink Obligations` · Nov 01, 2019
```
First commit after v8.11 branching point.
```
V8.10.1

a9ca2455 · Merge PR #10948: Coq version 8.10.1 · Oct 25, 2019
```
Coq 8.10.1
```
V8.10.0

ff36cee8 · Merge PR #10823: Release 8.10.0 · Oct 07, 2019
```
Coq 8.10.0
```
V8.10+beta3

62505031 · Merge PR #10752: Coq version 8.10+β3 · Sep 16, 2019
```
Coq version 8.10+β3
```
V8.10+beta2

234dcc45 · Merge PR #10389: Coq version 8.10+β2 · Jun 20, 2019
```
Coq version 8.10+β2
```
V8.9.1

e1d8a33c · Merge PR #10171: Bump version number to 8.9.1. · May 17, 2019
```
Coq 8.9.1
```
V8.10+beta1

77aaecc0 · Merge PR #10159: Prepare for Coq 8.10+β1 · May 14, 2019
```
Coq version 8.10+beta1
```
V8.11+alpha

1c8fd0f7 · Replace type sign = bool with SPlus | SMinus · Apr 01, 2019
```
First commit after v8.10 branching point.
```
V8.9.0

cdfbae93 · Backport PR #9282: [ssrmatching] update license banner (fix #9281) · Jan 17, 2019
```
Coq 8.9.0
```
V8.9+beta1

46deca30 · Merge PR #8869: Bump version number to 8.9+beta1. · Oct 31, 2018
```
Version 8.9+beta1 of Coq
```
V8.9+alpha

bc0fa22b · Merge PR #7014: New merging process · Mar 20, 2018
```
First commit after Coq 8.8 branching point.
```
V8.10+alpha

f61ee79e · Merge PR #8064: Numeral notation (revisited again) · Sep 03, 2018
```
First commit after the v8.9 branch
```

V8.8.2

0ed45a59 · Set Coq version to 8.8.2. · Sep 25, 2018

Version 8.8.2 of the Coq proof assistant.

Main changes:

- The kernel does not tolerate capture of global universes by
  polymorphic universe binders, fixing a soundness break (triggered
  only through custom plugins)

- A PDF version of the reference manual is available once again.

- The coq-makefile targets `print-pretty-timed`, `print-pretty-timed-diff`,
  and `print-pretty-single-time-diff` now correctly label the "before" and
  "after" columns, rather than swapping them.

- The Windows installer now includes many more external packages that can be
  individually selected for installation.

Many other bug fixes and lots of documentation improvements (for details,
see the 8.8.2 milestone at https://github.com/coq/coq/milestone/15?closed=1).

V8.8.1

d3af6c84 · Merge PR #7955: Set Coq version to 8.8.1. · Jun 29, 2018

Version 8.8.1 of the Coq proof assistant.

Includes four critical bug fixes, many other bug fixes,
documentation improvements and user message improvements.

See CHANGES for details.