Curryst 0.5

• Renamed the proof-tree function to prooftree.
• Renamed the prem-min-spacing argument to min-premise-spacing.
• Renamed the horizontal-spacing argument to vertical-spacing.

Curryst 0.4

• Added support for top-to-bottom trees.
• Improved the look of rules with wide conclusions.
• Fixed multiple issues with multi-line premises.

Curryst 0.3

• Inference rules can now display their premises on multiple lines.

Curryst 0.2

This is the first Curryst release after making the sources available on GitHub.