Skip to content
This repository has been archived by the owner on Aug 28, 2024. It is now read-only.

anthem 0.1.5
Compare
Choose a tag to compare
@pluehne pluehne released this 04 May 14:45
· 179 commits to master since this release
v0.1.5
This tag was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.
3b11eb9
This commit was signed with the committer’s verified signature. The key has expired.
pluehne Patrick Lühne
GPG key ID: 05F3611E97A70ABF
Expired
Learn about vigilant mode.

Bug Fixes

  • fixes lost signs with negated 0-ary predicates
Assets 3
Loading