Repository navigation

Wrap the Verification panel at spaces and operators, one conjunct per line - #189

Open

CatarinaGamboa wants to merge 3 commits into

mainfrom

feat/187-panel-wrap

Open

Wrap the Verification panel at spaces and operators, one conjunct per line#189
CatarinaGamboa wants to merge 3 commits into
mainfrom
feat/187-panel-wrap

Commits on Nov 10, 2026
- Wrap the Verification panel at spaces and operators, one conjunct per line
  
  CatarinaGamboa
  and
  claude
  committed
  1de4fbc
- Split changed Found predicates into lines too, and skip character literals
  
  CatarinaGamboa
  and
  claude
  committed
  56287c1
- Diff each line of a changed Found predicate against the line it replaces
  
  CatarinaGamboa
  and
  claude
  committed
  600f884