Documentation for tex-bussproofs
