proof – Shell based proofing for TeX-related files
Proof is able to process and view TeX, LaTeX, METAFONT and METAPOST sources for proofing purposes.
Free license not otherwise listed, or more than one free license applies
document development tools
Download the contents of this package in one zip archive (20.8k).
Maybe you are interested in the following packages as well.
- currfile: Provide file name and path of input files
- ltxdiff: A Win32 program that compares tokens in two .tex files
- fink: The LaTeX2ε File Name Keeper
- ebproof: Formal proofs in the style of sequent calculus