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

Tags: SucreRouge/coq-of-ocaml

Tags

1.2.1

Toggle 1.2.1's commit message 
Merge pull request formal-land#63 from clarus/fix-import-path-interfaces

Fix the import path of the interfaces

1.2.0

Toggle 1.2.0's commit message 
Remove outdated information

1.1.0

Toggle 1.1.0's commit message 
All tests are valid

1.0.0

Toggle 1.0.0's commit message 
Updated README for the new OPAM urls
0