.CooCoo e847b2e5e3 AutoFormat: a tracked heading or border line replaces another author's formatting change (#4231)

2026-11-04 12:27:08 +01:00

..

examples

Lay out the paragraph after a kept heading once

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

src

AutoFormat: a tracked heading or border line replaces another author's formatting change (#4231)

2026-11-04 12:27:08 +01: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