CTAN Comprehensive TeX Archive Network

Paul Wintz

Defines a starred proof environment that hides proofs in draft mode.
Guest Book Sitemap Contact Contact Author