Skip to content

v0.6.29

Choose a tag to compare

View all tags
@github-actions github-actions released this 04 Nov 07:30
· 29 commits to main since this release
v0.6.29
This tag was signed with the committer’s verified signature.
tamnd Tam Nguyen Duc
SSH Key Fingerprint: XWWNV0vI2y+8HNjgaL0Y++3thoCRaLa6Z2GV1Mymx7U
Verified
Learn about vigilant mode.
1c65644
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • wp: match the objects of the same revision by span by @tamnd in #552
  • wp adopt: hold labels and headings that are not names by @tamnd in #553
  • wp adopt: hold corollary headings, fix the proof names by @tamnd in #554
  • Hold more weak names in corpus adopt by @tamnd in #555
  • Hold names of parts of the text and source labels in corpus adopt by @tamnd in #556

Full Changelog: v0.6.28...v0.6.29

Contributors

tamnd
Assets 11
Loading