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

Tags: ggonthier/coq

Tags

V8.8+alpha

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

V8.7.0

Toggle V8.7.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 
Version 8.7.0

V8.7+beta2

Toggle V8.7+beta2'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 
Version 8.7+beta2

V8.7+beta1

Toggle V8.7+beta1'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 
Version 8.7+beta1

V8.6.1

Toggle V8.6.1's commit message

Verified

This commit 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 
Merge PR rocq-prover#856: 8.6.1 CHANGES entries.

V8.6

Toggle V8.6's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Set version to 8.6 in configure.

V8.6rc1

Toggle V8.6rc1's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Commit bumping the version number was partial...

The sad part of the story is that the script testing this version number
is run after tagging by the coq-dev-tools Makefile... will fix that.

V8.6beta1

Toggle V8.6beta1's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Revert "Merge remote-tracking branch 'github/pr/360' into v8.6"

This reverts commit b00e039, reversing
changes made to ca9e00f.

It turns out that calling from fake_ide the STM commands that were removed
by this PR requires an extension of the XML protocol. So postponing the
integration.

V8.5pl3

Toggle V8.5pl3's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Merge remote-tracking branch 'github/pr/338' into v8.5

Was PR#338: Remove warning now that info_auto is fixed.

V8.5pl2

Toggle V8.5pl2's commit message

Unverified

This commit is not signed, but one or more authors requires that any commit attributed to them is signed.
Learn about vigilant mode 
Fix test file for rocq-prover#4858.
0