Skip to content

v4.5.8

  • v4.5.8
  • d9afa85

  • Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature.
    GPG key ID: B5690EEEBB952194
    Verified
    Learn about vigilant mode

  • Choose a tag to compare

    View all tags
v4.5.8
  • v4.5.8
  • d9afa85

  • Choose a tag to compare

    View all tags

  • Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature.
    GPG key ID: B5690EEEBB952194
    Verified
    Learn about vigilant mode
@mnatsheh mnatsheh tagged this 29 Sep 16:48 
LEAN-6091: Return a Document from serializeToJATS; fix bibliography r…
Assets 2
Loading