Documentation for tex-clrscode
