Hello,

This is the revised version/branch section of gdbint.texinfo.  Looking 
beter?

Andrew