Logic Workbook: version history
Versions use MAJOR.MINOR.PATCH.
  MAJOR: a new chapter
  MINOR: a new section or a big new feature
  PATCH: fixes and small wording changes

1.1.1 (2026-10-24)
  - Sentence builder (2.1): picked chips now stand out clearly, and sentences
    you've built have a dashed border so they're easy to tell from the
    starting letters (B vs. ~B).
  - Before you press a connective, the builder warns you if your two picks
    never go together in the goal, or are in the wrong order.
  - If you build something the goal doesn't use, it now says exactly what to
    change (for example, "pick ~B instead of B") and offers an Undo button.

1.1.0 (2026-10-24)
  - Added Section 2.3 More Complex Symbolizations: the five guidelines,
    paraphrase builder, two-readings drills, counting patterns, longer
    sentences, one claim/one letter, whole arguments with a validity check,
    and a mixed review.
  - Expanded 2.1's recursive definition: how to read it, a worked example,
    a step-through demo, a "which clause came last?" drill, and a clearer
    sentence builder with hints and undo.
  - Added 2.3 entries to the quick reference.
  - Version number shown in the sidebar and on the home page.

1.0.0 (2026-10-24)
  - First release: Sections 2.1 and 2.2, truth table refresher,
    quick reference, light and dark themes, progress saved in the browser.