...tex2html_verb_mark
2.1
The call to copy_term/3 is used to strip attributes (domains etc) from any remaining variables in Vars.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1999-08-07