Skip to content

v0.8.4
Compare
Choose a tag to compare
@jviereck jviereck released this 02 Feb 15:07
· 78 commits to gh-pages since this release
v0.8.4
d12c5fb
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.

Changes include:

  • #124 from tjenkinson/quantifier-symbol
  • #125 from nicolo-ribaudo/test-upe-quantifier
  • #126 from tjenkinson/fix-undefined-var
Assets 2
Loading