Documentation for tex-ebproof.
