v1.2.0

1.2.0 (2022-11-20)

Features

• fitch: added Derived Rule Option and changed Abs handling (51d02c8)
• fitch: make from number removable and increased count for derived rules (0aff333)
• tree: added lines to denote branching (b34499e)

v1.1.1

1.1.1 (2022-09-12)

Bug Fixes

• tree: fixed inserter bug (6be4ba4)
• tree: fixed missing domain entry (f267443)

v1.1.0

1.1.0 (2022-09-08)

Bug Fixes

• fixed dummy notification (f610b20)
• fixed missing studip secret (f435f84), closes #34
• fixed missing url parameter (4613e0d)

Features

• changed how notifying works (fbf9c6a)
• first release notification (3739dc9)

v1.1.0-beta.3

1.1.0-beta.3 (2022-09-08)

Features

• changed how notifying works (fbf9c6a)

v1.1.0-beta.2

1.1.0-beta.2 (2022-09-08)

Bug Fixes

• fixed dummy notification (f610b20)

v1.1.0-beta.1

1.1.0-beta.1 (2022-09-08)

Bug Fixes

• fixed missing studip secret (f435f84), closes #34
• fixed missing url parameter (4613e0d)

Features

• first release notification (3739dc9)

v1.0.3

1.0.3 (2022-09-07)

Bug Fixes

• dummy fix to check auto update functionality (510df37)

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

v1.0.1

1.0.1 (2022-09-06)

Bug Fixes

• downgrade vite since experimental build path not working (9d800e7)
• fixed production asset handling by using embedded deployment (c16e1a5)

v1.0.0

1.0.0 (2022-09-05)

Bug Fixes

• added more nevers to stop typescript from complaining (2104dd0)
• build.ts: fix missing files in zip file (4dcf86c)
• dont show undo handler in correct view (902fdb5)
• edit: fixed task not being stored correctly (ef4b340)
• empty state leads to array instead of empty object (95800d7)
• fc_exercise: remove line problem (7f48bf7)
• fc_exercise: solve render problems (e309a70)
• fitch: fixed from updates when adding / removing lines (0322642)
• fixed forgetting to parse task for task render (57a470e)
• fixed insertion/removal function calls (eb2c9f5)
• fixed missing templates folder in release (ecbf2bb)
• fixed production build not working (0b13358)
• fixed replacement config error (b614d40)
• missing re exports part 2 (0b9e955)
• missing store re exports (7cac18c)
• st_exercise: better line remove (7aa2056)
• st_exercise: removed irrelevant rule (c4117d5)

Features

• added an undo handler for undoing stuff (ff748f7)
• better formula input (4229f3c)
• better placeholders for select (407a684)
• better styling (a012e00)
• edit: better edit component (31e33c4)
• fc_exercise: correct component (3ef66c1)
• fitch: allow empty rule for fitch (78f7600)
• fitch: cooler design for fitch proof (0a1aa16)
• fitch: post indentation for fitch proofs (8d3ac17)
• fitch: separators for from numbers (afcda40)
• from: better options (fdc5217)
• merge tasks to one (ad35c76)
• more icons (570b114)
• new formula handling (9362738)
• next steps to final fitch proof (f867d4c)
• removed field validation (9b85337)
• rules based on pred logic state (bb71917)
• set predicate boolean dynamically when task is constructed (215e547)
• st_exercise: add remove line (b06e12a)
• st_exercise: added Inserter component for semantic trees (486a777)
• st_exercise: better semantic tree render (2393c00)
• switched to react form hook (3aa8821)
• tree: add form for adding counter model (fa7b952)
• tree: correct view for counter model (f71bc6e)
• tree: tree implementation in solid (b312656)
• undo and redo functionality (b0f0ddd)

BREAKING CHANGES

• formulas are now stored as array of formula parts instead of string
• removed old 2 task classes and merged them into one
• formulas are now stored in a simpliefied state