Re: Patch (bug fix)

[Lars Gullik Bjønnes]

Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes:

| >>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:
| 
| Lars> So that means that if the command is robust we don't need a
| Lars> \protect even if it is in a moving argument?
| 
| That's it. Why protect something which is robust, after all?

And then we are back at my point that need_protect is not a very good
name, as that implies that a protect is always needed. moving_arg
might be better.

        Lgb