Repository navigation

Capture writes to standard_error from evaluated code - #2

Closed

bbatsov wants to merge 3 commits into

proof-fixesfrom

Closed

Capture writes to standard_error from evaluated code#2
bbatsov wants to merge 3 commits into
proof-fixesfrom
stderr-capture

Commits on Oct 1, 2026
- Capture writes to standard_error from evaluated code
  bbatsov
  committed
  a1aeb80
- Capture standard_error in the standalone repartee server
  bbatsov
  committed
  1e705a9
- Show stderr output in chaser as output, not as errors
  bbatsov
  committed
  4857325