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

Releases: coq-io/io

4.0.0

23 Jul 16:58
@clarus clarus
4.0.0
bc358c2
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.
Compare
Choose a tag to compare
4.0.0 Latest
Latest
Assets 2
Loading

3.3.0

23 Oct 10:54
@clarus clarus
3.3.0
7a6e320
Compare
Choose a tag to compare
3.3.0

Compiles with the -compat 8.4 option to support both Coq 8.4 and 8.5.

Loading

3.2.0

19 Jul 15:36
@clarus clarus
3.2.0
86c0bb3
Compare
Choose a tag to compare
3.2.0 
Notations for the runs
Loading

3.1.0

14 Jun 16:29
@clarus clarus
3.1.0
267c3a5
Compare
Choose a tag to compare
3.1.0 
Function let_ret added
Loading

3.0.0

23 Mar 16:50
@clarus clarus
3.0.0
dc18c0d
Compare
Choose a tag to compare
3.0.0 
.gitignore updated for Coq 8.5
Loading

2.1.0

11 Mar 15:13
@clarus clarus
2.1.0
c1e92a7
Compare
Choose a tag to compare
2.1.0

Concurrency.

Loading

2.0.0

03 Mar 19:45
@clarus clarus
2.0.0
fa3da64
Compare
Choose a tag to compare
2.0.0 
Sources moved to src/
Loading

1.0.0

20 Feb 20:58
@clarus clarus
1.0.0
1d5c53c
Compare
Choose a tag to compare
1.0.0 
Cosmetic
Loading
0