Skip to content

v1.0.0
Compare
Choose a tag to compare
@Kaeldehta Kaeldehta released this 05 Sep 17:28
· 22 commits to master since this release
v1.0.0
6d12ee8
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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
Assets 3
Loading