Coq 8.19.1

Coq 8.19.0

First release candidate for Coq 8.19.0.

First commit in master and not in v8.19

Coq 8.18.0

First commit after the v8.9 branch

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).

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.

Coq 8.8.0

Version 8.8+beta1 of Coq

Version 8.7.2 of Coq. It fixes a critical bug in the VM handling
of universes (#6677). This bug affected all releases since 8.5.

Other changes include improved support for building with OCaml
4.06.0 and external num package, many other bug fixes,
documentation improvements, and user message improvements (for
details, see the 8.7.2 milestone at
https://github.com/coq/coq/milestone/11?closed=1).

Coq 8.7.1

The V8.8+alpha tag marks the first commit not present in v8.7.

Version 8.7.0

Version 8.7+beta2

Version 8.7+beta1