Release 0.18.3

Published: December 1, 2017Last updated: March 25, 2024

  • Edges in diagrams can now be labeled.