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

Tags: plclub/metalib

Tags
AC31

coq8.15

Toggle coq8.15's commit message 
update opam file

coq8.10

Toggle coq8.10's commit message 
Merge branch 'master' of github.com:plclub/metalib

coq8.8.2

Toggle coq8.8.2's commit message 
Version update

coq8.6a

Toggle coq8.6a's commit message 
update readme

coq8.5

Toggle coq8.5's commit message 
Updated for Coq 8.5 (merged in `namespace`)

coq8.4

Toggle coq8.4's commit message 
Tagging version that should compile with Coq < 8.5.
0