rgheck <[EMAIL PROTECTED]> writes: >> What is the difference between \bind and \addbind when a binding already >> exists? What does \bind do when 2 bindings already exist? >> > \bind overrides the old binding. That is the extant behavior, and I'd > guess some people rely upon it. \addbind adds a new binding to the > list.
So what about the second part of my question? I ask because we will have to keep the semantics of these things in the future, and therefore need it to be sound. JMarc
