Skip to content

v0.8.1

Compare
Choose a tag to compare
@github-actions github-actions released this 15 Mar 09:26
· 106 commits to master since this release

JudiLing v0.8.1

Diff since v0.8.0

  • fixed bug in display matrix
  • fixed another inlinestring error