Skip to content

v0.16.0

Choose a tag to compare

@AnonymousRand AnonymousRand released this 26 Dec 05:15
· 135 commits to master since this release

Changes

  • Requires at least Python 3.10 now
  • Theorems with thm_name_overrides_thm_heading set to True get an HTML id based on its name just like the other theorems now
  • Rename some more config keys