Please see ../eval4tex/eval4tex-doc.html.