Martin BallandClaude Opus 5.5 a2b1a0d407 CP4.3: review — proof.packs describes its languages rows; docs name every proofing status and scope #8 to built-in proofing (CodeRabbit) ...

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FypgCYmv6UJmY2QcuhfXco

2026-11-03 17:28:19 +00:00

..

examples

Lay out the paragraph after a kept heading once

2026-10-27 13:39:09 +01:00

src

CP4.3: review — proof.packs describes its languages rows; docs name every proofing status and scope #8 to built-in proofing (CodeRabbit)

2026-11-03 17:28:19 +00:00

tests/it

Refactor engine for strict Clippy checks

2026-10-28 01:06:48 +00:00

Cargo.toml

CP4.3: Language packs: proof.packs, proof.installPack, proof.removePack; Options › Language list, missing-pack bar, About › Language data

2026-11-02 01:03:59 +00:00