v1.0.2

1.0.2 (2022-09-07)

Bug Fixes

• fitch: fixed incorrect from separators (e7efa70), closes #33
• fitch: fixed wrong line number for b-elim (e93abb3), closes #32
• tree: fix semantic tree line deletion not working (c5ec5ba), closes #31