On 15-Feb-2001, Eli Zaretskii wrote: >This functionality appears to be entirely missing from gdbint.texinfo. >Perhaps we should add it there. Yes, agreed. I'll do that this weekend. Nick