Documentation for tex-ebproof
