v0.1.0

What's Changed

• Fix availability check, for nested subproofs by @MGlauer in #31
• Fix handling of empty strings in references by @MGlauer in #37
• IdentityIntro by @mecubey in #28
• IdentityElim by @mecubey in #38
• ExistenceIntro by @mecubey in #34
• AllElim by @mecubey in #35
• Feature/all intro by @MGlauer in #39
• Add "Add Subproof Before" by @MGlauer in #41

Full Changelog: v0.0.4...v0.1.0

v0.0.4

What's Changed

• Fix predicate parsing by @MGlauer in #29
• Dynamic line references by @MGlauer in #18
• Release v0.0.4 by @MGlauer in #30

Full Changelog: v0.0.2...v0.0.4

v0.0.3

What's Changed

• Allow nested disjunctions in disjunction elimination
• Release v0.0.3 by @MGlauer in #15

Full Changelog: v0.0.2...v0.0.3

v0.0.2

What's Changed

• Fix output for reference lines

Full Changelog: v0.0.1...v0.0.2

v0.0.1

What's Changed

• Fix availability check by @MGlauer in #6
• modified FalsumIntro to check other direction by @mecubey in #9
• Grow boxes in subproofs by @MGlauer in #10

New Contributors

• @mecubey made their first contribution in #9

Full Changelog: v0.0.0...v0.0.1

v0.0.0 - First release

What's Changed

• Fix parser messing with input by @MGlauer in #2
• Prepare release v0.0.0 by @MGlauer in #3

New Contributors

• @MGlauer made their first contribution in #2

Full Changelog: https://github.com/MGlauer/web-fitch/commits/v0.0.0