CTAN upload notification: proof v1.2

Rainer Schoepf schoepf at proteosys.com
Tue Oct 1 13:30:03 CEST 2002

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


For the CTAN Team
  Rainer Schöpf

More information about the Ctan-ann mailing list