Paul Wintz
The contributor Paul Wintz appears to be present as the CTAN community member pwintz.
Defines a starred proof environment that hides proofs in draft mode.
The contributor Paul Wintz appears to be present as the CTAN community member pwintz.