10000 Tags · Zhang-Liao/coq-1 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: Zhang-Liao/coq-1

Tags

V8.9.1

Toggle V8.9.1's commit message

Verified

This tag was signed with the committer’s verified signature.
silene Guillaume Melquiond
GPG key ID: 20A980344E318435
Verified
Learn about vigilant mode 
Coq 8.9.1

V8.10+beta1

Toggle V8.10+beta1's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
vbgl Vincent Laporte
GPG key ID: EBD582ADDDB1F81F
Expired
Verified
Learn about vigilant mode 
Coq version 8.10+beta1

V8.11+alpha

Toggle V8.11+alpha's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode 
First commit after v8.10 branching point.

V8.9.0

Toggle V8.9.0's commit message

Verified

This tag was signed with the committer’s verified signature.
silene Guillaume Melquiond
GPG key ID: 20A980344E318435
Verified
Learn about vigilant mode 
Coq 8.9.0

V8.9+beta1

Toggle V8.9+beta1's commit message

Verified

This tag was signed with the committer’s verified signature.
silene Guillaume Melquiond
GPG key ID: 20A980344E318435
Verified
Learn about vigilant mode 
Version 8.9+beta1 of Coq

V8.9+alpha

Toggle V8.9+alpha's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode 
First commit after Coq 8.8 branching point.

V8.10+alpha

Toggle V8.10+alpha's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode 
First commit after the v8.9 branch

V8.8.2

Toggle V8.8.2's commit message 
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

Toggle V8.8.1's commit message 
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.

V8.8.0

Toggle V8.8.0's commit message

Verified

This tag was signed with the committer’s verified signature. The key has expired.
maximedenes Maxime Dénès
GPG key ID: FD3733DF9705E69E
Expired
Verified
Learn about vigilant mode 
Coq 8.8.0
0