New CTAN package: proof

Jim Hefferon ftpmaint at
Wed May 22 15:20:27 CEST 2002

A new package has been installed on and it should make
its way soon to a mirror near you.

Thanks for the upload,
Jim Hefferon
ftpmaint at


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

Announcement text given by the contribution's author:
- ----------------------------------------------------------------------
Proof is a shell based auxiliary program that's able to process and view 
TeX-, LaTeX-, METAFONT- and MetaPost-sources and thus can be used to quickly 
produce snapshots of TeX related documents whenever necessary. Its main 
purpose however is to act as a completion to an ordinary word processing 
program which normally lacks appropriate facilities to process TeX sources 
within a common TeX/LaTeX environment. Here, Proof completely relieves the 
author of doing shell related work and thus simplifies the process of 
preparing PostScript documents particularly in those cases where various 
different sources are involved. Besides Proof offers a simple control 
mechanism that may be accessed from within the editor being used, an 
interface to common METAFONT font test algorithms and a simple back-up 
facility, ensuring that sourcefiles can easily be restored when accidentally 
overwritten or deleted.
- ----------------------------------------------------------------------

More information about the Ctan-ann mailing list