https://www.ctan.org/ctan-ann/rss/proof.xml CTAN announcements mailing list - for package proof Fri, 11 Sep 2026 06:38:47 +0200 en-US 60 webmaster@ctan.org (Comprehensive TeX Archive Network) https://www.ctan.org/assets/favicon/android-chrome-48x48.png https://www.ctan.org/ctan-ann/rss/proof.xml https://www.ctan.org/ctan-ann/id/200205221320.NAA26786@alan.smcvt.edu A new package has been installed on tug.ctan.org and it should make its way soon to a mirror near you. Thanks for the upload, Jim Hefferon ftpmaint at tug.ctan.org =============================================================== The following information was provided by our fellow contributor. Name of contribution: proof Author's name: Klaus Bosau Location on CTAN: support Summary description: Proof is a shell based completion to an ordinary word processing program, able to process and view TeX-, LaTeX-, METAFONT- and MetaPost-sources. This program needs an intact TeX/LaTeX environment and GNU bash (Bourne Again Shell), version 2.03 or higher to work properly. License type: gpl ... ]]> Wed, 22 May 2002 13:20:27 +0200 https://www.ctan.org/ctan-ann/id/200205221320.NAA26786@alan.smcvt.edu https://www.ctan.org/ctan-ann/id/Pine.LNX.4.44.0210011329000.21542-100000@calvin.proteosys On Mon, 30 Sep 2002 Klaus Bosau wrote: > Name of contribution: proof v1.2 > Suggested location on CTAN: support/ > Summary description: Proof is a shell based completion to an > ordinary word processing program, able to process and view TeX, LaTeX, > METAFONT and MetaPost sources. This program needs an intact TeX/LaTeX > environment and GNU bash (Bourne Again Shell), version 2.03 or later > to work properly. > License type: Free Thanks for the update, I installed it in support/proof For the CTAN Team ... ]]> Tue, 01 Oct 2002 13:30:03 +0200 https://www.ctan.org/ctan-ann/id/Pine.LNX.4.44.0210011329000.21542-100000@calvin.proteosys