ctan-ann - proof Announcements of the Comprehensive TeX Archive Network ctan-ann-proof 2026-09-11T06:38:20Z New CTAN package: proof 200205221320.NAA26786@alan.smcvt.edu 2002-05-22T13:20:27Z 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 ... 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 ... ]]> Jim Hefferon ftpmaint at alan.smcvt.edu CTAN upload notification: proof v1.2 Pine.LNX.4.44.0210011329000.21542-100000@calvin.proteosys 2002-10-01T13:30:03Z 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 ... 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 ... ]]> Rainer Schoepf schoepf at proteosys.com