Skip to content

Tags: coq-community/reglang

Tags

v1.2.1

Toggle v1.2.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode 
add CI for MathComp 2.2.0 (#70)

v1.2.0

Toggle v1.2.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
Learn about vigilant mode 
consistently use #[local] instead of Local (#62)

v1.1.3

Toggle v1.1.3'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
Learn about vigilant mode 
Merge pull request #44 Update boilerplate for MathComp 1.14.0

v1.1.2

Toggle v1.1.2'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
Learn about vigilant mode 
Merge pull request #26 : replace omega with lia

v1.1.1

Toggle v1.1.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
Learn about vigilant mode 
Merge pull request #18 from coq-community/ignore-warnings

Ignore warnings in 8.12

v1.1

Toggle v1.1's commit message 
resolve ambiguous coercion path (classifier >-> Funclass)

v1.0

Toggle v1.0's commit message 
Changes for packaging-friendliness (#1)

* package-friendly makefile
* opam file for easy pinning
* add .gitignore