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

Open

WolframPfeifer wants to merge 4 commits intomainfrom

pfeifer/3683hidePackageOptionFix

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