Martin BallandClaude Opus 5.5 34525f1cb1 CP4.3: review — regression test: a same-length index refresh still changes index_generation, so the missing-pack bar works it out again (CodeRabbit) ...

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

2026-11-02 01:04:00 +00:00

..

examples

Lay out the paragraph after a kept heading once

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

src

CP4.3: review — regression test: a same-length index refresh still changes index_generation, so the missing-pack bar works it out again (CodeRabbit)

2026-11-02 01:04:00 +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