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

Tags: rocq-community/coqoban

Tags

v8.13.0

Toggle v8.13.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #5 from coq-community/update-ci-doc

Documentation fixes and CI update

v8.11.0

Toggle v8.11.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request #2 from coq-community/add-ci+doc

Add CI & Update doc

v8.10.0

Toggle v8.10.0's commit message 
Standard format for date in file description.

v8.9.0

Toggle v8.9.0's commit message 
Standard format for date in file description.

v8.8.0

Toggle v8.8.0's commit message 
Standard format for date in file description.

v8.7.0

Toggle v8.7.0's commit message 
Standard format for date in file description.

v8.6.0

Toggle v8.6.0's commit message 
Standard format for date in file description.

v8.5.0

Toggle v8.5.0's commit message 
updating Makefile

v8.4

Toggle v8.4's commit message 
Sauvegarde des bench.log

git-svn-id: svn://scm.gforge.inria.fr/svnroot/coq-contribs/trunk@1075 0cf17b13-060f-0410-b1b1-c666bec9822a

v8.3

Toggle v8.3's commit message 
Sauvegarde des bench.log

git-svn-id: svn://scm.gforge.inria.fr/svnroot/coq-contribs/trunk@1075 0cf17b13-060f-0410-b1b1-c666bec9822a
0