Uses of Class
wytp.proof.io.ProofPrinter

Packages that use ProofPrinter

Package	Description
wytp.proof.io

Uses of ProofPrinter in wytp.proof.io

Methods in wytp.proof.io that return ProofPrinter

Modifier and Type	Method and Description
ProofPrinter	ProofPrinter.setShowAll(boolean flag)
ProofPrinter	ProofPrinter.setWidth(int width)