Please see
../eval4tex/eval4tex-doc.html
.
HTML conversion by
troff2page 20050423