v0.37.5

July 13, 2026

  • The version-comparison view now shows more of what changed between two versions of an argument. It highlights in-place edits (like switching a connective from "and" to "or") right where they happened, points out when the conclusion was reassigned to a different premise, and — when a shared claim is edited in one place — flags every premise that references it so you can see the ripple. Deleted pieces inside a formula and a premise's own retitle are shown too. Each cue distinguishes where a change originated from what it merely affected, and reads clearly in both light and dark mode.
  • Comparing two versions of a curated showcase argument now reads cleanly — unchanged premises stay put instead of showing up as removed and re-added, so a version comparison highlights only what actually changed.
  • Search now tells you when it's showing literal-match results. If semantic search is briefly unavailable, the search page falls back to exact-text matching and shows a small notice so you know the results aren't the usual smart ranking — instead of silently returning different results.