Sujet : New on CTAN: hideproofs
De : manfred (at) *nospam* ctan.org (CTAN Announcements)
Groupes : comp.text.texDate : 16. Jun 2025, 10:03:21
Autres entêtes
Organisation : CTAN
Message-ID : <23db82b154ffec00@hogwart>
Paul Wintz submitted the
hideproofs
package.
Version: 1.0
License: lppl
Summary description: Defines an a starred proof environment that hides proofs in draft mode
Announcement text:
--------------------------------------------------------------------------------
The hideproofs package introduces an alternate proof environment, `proof*`,
which conditionally hides or shows its contents based on the document mode
(e.g., `draft` mode). This is useful for omitting formal proofs from draft
versions while retaining them in final documents. The motivation for this
package is to reduce the clutter in large documents by omitting long proofs,
allowing authors to focus their attention on results or proofs that are still in
progress.
This is the first package that I've submitted to CTAN and I think it turned out well. I hope you enjoy it!
--------------------------------------------------------------------------------
This package is located at
https://mirrors.ctan.org/macros/latex/contrib/hideproofsMore information is at
https://ctan.org/pkg/hideproofs--------------------------------------------------------------------------------
Thanks for the upload.
For the CTAN Team
Manfred Lotz
CTAN is run entirely by volunteers and supported by TeX user groups.
Please join a user group or donate to one, see
https://ctan.org/lugs .