Skip to content

v0.3.4

Choose a tag to compare

@mbertucci47 mbertucci47 released this 18 Feb 01:00
· 116 commits to develop since this release
  • add plural-refname and plural-Refname theorem keys (#50)
  • add legacy2e theorem style
  • add tcb-append key (#41)