Dylan M. Taylor 0bb9add551 Merge main into language packs PR

2026-11-02 16:53:31 -05:00

..

examples

Lay out the paragraph after a kept heading once

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

src

Merge main into language packs PR

2026-11-02 16:53:31 -05: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