8000 Tags · rocq-community/zorns-lemma · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
This repository was archived by the owner on Jan 4, 2021. It is now read-only.

Tags: rocq-community/zorns-lemma

Tags

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 #6 from amiloradovsky/master

update to 8.11

v8.10.0

Toggle v8.10.0's commit message 
Cleaning Makefile.coq.conf

v8.9.0

Toggle v8.9.0's commit message 
Adapting to Coq 8.9.

v8.8.0

Toggle v8.8.0's commit message 
Bypassing a universe bug of Coq 8.8.0-8.8.2.

v8.7.0

Toggle v8.7.0's commit message 
Makefile: no more message about a Circular Make <- Makefile.coq depen…

…dency dropped

v8.6.0

Toggle v8.6.0's commit message 
Makefile: no more message about a Circular Make <- Makefile.coq depen…

…dency dropped

v8.5.0

Toggle v8.5.0's commit message 
updating Makefile

v8.4

Toggle v8.4's commit message 
Fix scripts.

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