Fix for #3683: Hiding package prefixes in sequent view#3684

Merged

wadoon merged 5 commits intomainfrom

pfeifer/3683hidePackageOptionFix

Mar 19, 2026

Commits on Nov 12, 2025

Commits on Jan 6, 2026

Merge branch 'main' into pfeifer/3683hidePackageOptionFix
Drodt
authored

Commits on Jan 30, 2026

pass pretty printing options to pretty printer, disable hidePackagePrefix when saving proofs
WolframPfeifer
committed

Commits on Mar 18, 2026

Merge remote-tracking branch 'origin/main' into pfeifer/3683hidePackageOptionFix
wadoon
committed