Skip to content

Regexp Brzozowski 1.2

Latest
Latest
Compare
Choose a tag to compare
@palmskog palmskog released this 14 Oct 14:23
· 2 commits to master since this release
v1.2
1a0f78e
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.

Release known to work with Coq 8.16 to 8.18, MathComp 2.0.0, and RegLang 1.2.0. The main change is the port to MathComp 2.0, which is not backwards compatible.

Assets 2
Loading