This is documentation for tex-bussproofs.