Skip to content

Tags: coq-io/system-ocaml

Tags

2.3.1

Toggle 2.3.1'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 #4 from coq-io/test-incompatible-ocaml-versions

Test incompatible ocaml versions

2.3.0

Toggle 2.3.0's commit message 
New interface to the Choose primitive

2.2.0

Toggle 2.2.0's commit message 
Eval has just one argument

2.1.0

Toggle 2.1.0's commit message 
Pick used instead of choose for the First

2.0.0

Toggle 2.0.0's commit message 
argv function added

1.0.0

Toggle 1.0.0's commit message 
Simplified README